1: \begin{proof}[Proof of Thm.~\ref{thm:smirnov}]

2: It is clear that the $g_j^\de$ are uniformly bounded, and uniform equicontinuity follows from the bound on the discrete derivatives (Propn.~\ref{ppn:color.switch}), so the $g_j^\de$ have subsequential uniform limits by the Arzel\`a-Ascoli theorem. We must show that any subsequential limit satisfies the characterization of Lem.~\ref{lem:unique.triple}. Indeed, property (i) follows from Propn.~\ref{ppn:rotate.int} by approximating $C$ with discrete triangular contours, using uniform convergence to the limit and the uniform equicontinuity of the $g_j^\de$. Property (ii) is intuitively clear, and is easy to prove rigorously using Thm.~\ref{thm:rsw}.

3: 

4: It follows that

5: $\Phi^\de(D_4^\de) = g_2^\de(P_4^\de)$ converges to $\Phi(D_4)=h_2(P_4)$, which is a conformal invariant of $D_4$ by Lem.~\ref{lem:unique.triple}. This concludes the proof of Smirnov's theorem.

6: \end{proof}

7: