e03c23ec97e5c7be.tex
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}