1: \begin{lemma}%%[{\bf First Abstract Pumping Lemma}]
2: \label{newmainresult}
3: Let $\ga$ be a simple $4$-arrangement of double pseudolines and let $\gamma \in \arrang$.
4: Assume that there exists a vertex $v$ of $X_\arrang$ contained in the crosscap side of $\gamma$ in the subarrangement of size three
5: composed of $\gamma$ and of the two double pseudolines crossing at $v$.
6: Then there exists a triangular $2$-cell of $X_\arrang$ with a side supported by $\gamma$ and a vertex $w$ supported
7: by the \innerside\ of $\gamma$ in the subarrangement composed of $\gamma$ and of the two double pseudolines crossing at $w$. \qed
8: \end{lemma}