1: \begin{proof}
2: If $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$ is a web,
3: then every face has an even number
4: of adjacent trivalent vertices which translate to
5: say that $cd^{\ast}$ has an even number of markers
6: per connected component, and we are done.
7:
8: Conversely, assume (without loss of generality) that
9: $cd^{\ast}$ has only one circle $C$, and that $C$ is orientable.
10: If $C$ is not marked, then
11: we are done since the associated circle in $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$ is
12: an ordinary circle. Otherwise, follow $C$ from $\rpoint$ onwards in the
13: anticlockwise fashion.
14: By admissibility, going around $C$ in this way always passes the
15: marked caps in $d^{\ast}$ and then the marked cups in $c$. This can be best seen via example
16: (we leave it to the reader to make this rigorous):
17: \begin{gather}\label{eq:proof-by-example}
18: \xy
19: (0,0)*{
20: \includegraphics[scale=.85]{figs/6-83.pdf}
21: };
22: \endxy
23: \end{gather}
24: Next, the number of markers on $C$ is even since
25: $cd^{\ast}$ is orientable.
26: This together with the above observation
27: (and recalling that taking ${}^{\ast}$ on webs
28: reverses the orientation of phantom edges)
29: ensures that
30: all
31: neighboring phantom edge pairs of $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$
32: are well-attached, and that $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$
33: has an even number of trivalent vertices, i.e.
34: $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$
35: is well-oriented.
36: \end{proof}
37: