1: \begin{definition} \label{bigcycle}

2:  Suppose that we are in cases (b) or (c) of Theorem \ref{classiford2} (2). Let $u_0$ be in $E$ which is not incident to a puncture (thus, by hypothesis, it is homotopic to a part of a boundary component). We consider a $n$-gon $P$ of $\sigma$ such that

3:  \begin{itemize}

4:   \item $\vct{P_n P_1}$ is an orientation of $u_0$;

5:   \item $\M_P$ contains all punctures of $(\Sigma, \M)$;

6:   \item $\M_P$ contains all holes of $\Sigma$ except the hole $u_0$ is incident to.

7:  \end{itemize}

8:  Then we say that $\xi^P_1 \xi^P_2 \cdots \xi^P_n$ is a \emph{big cycle} at $u_0$.

9: \end{definition}

10: