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.