1: \begin{proof}

2: Each row of Fig. \ref{t4} gives a visual argument that if $f$ is a folding then so is its image $f^C$ under the circular permutation $C$ (a more rigorous argument is provided by Lemma \ref{condition_folding}). As $C^{n} = 1$, each orbit contains $n$ elements. Moreover, each orbit contains exactly one folding with leaf 1 on top, and these foldings are distinct.

3: \end{proof}