Sea $k\geq 2$, $n_1,n_2,\cdots ,n_k\in \mathbb{N}_+$ , tal que $n_2|2^{n_1}-1,n_3|2^{n_2}-1,\cdots ,n_k|2^{n_{k-1}}-1,n_1|2^{n_k}-1$ . Pruebe : $n_ 1=n_ 2=\cdots=n_k=1$ .