## Reduced word

If $\omega$ is a reduced word of length $l$ in $F_n$, then there exists a subgroup $G$ of index $l+1$ in $F_n$ such that $\omega\notin G$.