Cho $n$ là số nguyên dương, và số $(n^n+1)$ chỉ có $m$ ước nguyên tố là $p_1<p_2<...<p_m$. CMR:
a) Nếu $n$ chẵn thì $\forall i=\overline{1,m}$ ta có : $p_i>n$ và $(p_i-1)\ \vdots\ n$.
b) Nếu $n$ lẻ thì $\exists k$ thỏa $p_1<...<p_k<n<p_{k+1}<...<p_m$ và $(\prod_{i=1}^{k}p_i-1)\ \vdots\ n$ và $(p_i-1)\ \vdots\ n\ (\forall i=\overline{k+1,m})$