1: \begin{proof} (Lemma \ref{Lemma_Symmetry_Crossings}). Statement 1 of the Lemma directly follows from Proposition 2.2 from \cite{Kesten} (see also pp.398 - 402 of that book: there a rigorous proof of this proposition is presented, including necessary topological considerations). Statement 2 is an immediate consequence of Statement 1 and definitions of percolation measures on $G_n$ and $G_n^*$.

2: 

3: To complete the proof, note that $G_N$ and $G_N^*$ are isomorphic, by Example (iii), pp. 19-20 of \cite{Kesten}. Since by definition a vertex of $G_n^*$ is black with probability $1-p$, we have that

4: 

5: \begin{equation}\label{29}

6: P_p (B_n) = P_{1-p}(A_n)\,.

7: \end{equation}

8: 

9: This proves (\ref{28}).

10: \end{proof}