1: \begin{lemma}[Pumping Lemma for Arrangements of Pseudocircles] \label{mainresultgen}

2: Let $\Gamma$ be a simple arrangement of pseudocircles, let $\gamma \in \Gamma$ be a double pseudoline of $\Gamma$, let 

3: $\Gamma'$ be the set $\gamma'\in \Gamma$ such that $\TD(\gamma')\supset \TD(\gamma)$, and let $M$ be the trace on the \innerside\ of $\gamma$ 

4: of the  2-cell of the arrangement $\Gamma'$ that contains 

5: $\TD(\gamma)$. 

6: Assume that there is a vertex

7: of the arrangement $\Gamma$ lying in $M$. 

8: Then there is a triangular two-cell of the arrangement $\Gamma$

9:  contained in $M$  with 

10: a side supported by~$\gamma$.\qed

11: \end{lemma}

12: