1: \begin{lemma}[Pumping Lemma~\cite{hp-adp-08}]\label{app:lem:pumping1}

2: In an arrangement~$L$, if a double pseudoline~$\ell$ encloses at least one vertex of~$L$ in its enclosed M\"obius strip~$M_\ell$, then there is a triangular face of~$L$ included in~$M_\ell$ and supported by~$\ell$.

3: \end{lemma}

4: