1: \begin{proof}[Proof of Theorem~\ref{thm:curves} from Theorem~\ref{thm:even-curves}]

2: We elect to present this proof in an intuitive rather than rigorous way.

3: Let $\famF$ be a family of curves each intersecting $c_0$ in at least one and at most $t$ points.

4: Let $\gamma_0$ be a closed curve surrounding $c_0$ very closely so that $\gamma_0$ intersects every curve in $\famF$ in exactly $2t$ points (winding if necessary to increase the number of intersections) and all endpoints of curves in $\famF$ and intersection points of pairs of curves in $\famF$ lie in $\ext\gamma_0$.

5: We apply geometric inversion to obtain an equivalent family of curves $\famF'$ and a closed curve $\gamma_0'$ with the same properties except that all endpoints of curves in $\famF'$ and intersection points of pairs of curves in $\famF'$ lie in $\int\gamma_0'$.

6: It follows that some part of $\gamma_0'$ lies in the unbounded component of $\setR^2\setminus\bigcup\famF'$.

7: We ``cut'' $\gamma_0'$ there and ``unfold'' it into the baseline, transforming $\famF'$ into an equivalent family $\famF''$ of $2t$-curves all endpoints of which and intersection points of pairs of which lie above the baseline.

8: The ``equivalence'' of $\famF$, $\famF'$, and $\famF''$ means in particular that the intersection graphs of $\famF$, $\famF'$, and $\famF''$ are isomorphic, so the theorem follows from Lemma~\ref{lem:2t-curves} (and thus Theorem~\ref{thm:even-curves}).

9: \end{proof}

10: