1: \begin{lemma}%%[{\bf First Abstract Pumping Lemma}]
2: \label{newmainresultbis}
3: Let $\ga$ be a thin $4$-arrangement of double pseudolines, let $\gamma, \gamma' \in \arrang$, $\gamma \neq \gamma'$, and let
4: $M(\gamma,\gamma')$ be one of two two-cells of size 2 of the subarrangement $\{\gamma,\gamma'\}$.
5: Assume that there exists a vertex $v$ of $X_\arrang$ contained in $M(\gamma,\gamma')$ in the subarrangement of size four
6: composed of $\gamma,\gamma'$ and of the two double pseudolines crossing at $v$.
7: Then there exists a triangular $2$-cell of $X_\arrang$ contained in $M(\gamma,\gamma')$ with a side supported by $\gamma$ in the subarrangement
8: composed of $\gamma,\gamma'$ and of the two double pseudolines crossing at the vertex $w$ opposite to the side supported by~$\gamma$.
9: \qed
10: \end{lemma}