Chứng minh rằng nếu  2ⁿ – 1 là số nguyên tố  (n > 2) thì  2ⁿ + 1  là hợp số.

Với p = 2 ta co  2^p + p² = 12  không là số nguyên tố

Với p = 2 ta có 2^p + p² = 17 là số nguyên tố

Với p > 3 ta có p² + 2^p = (p² – 1) + (2^p + 1 )

Vì p lẽ và p không chia hết cho 3 nên p² – 1 chia hết cho 3 và 2^p + 1 chia hết cho 3. Do đó  2^p + p²  là hợp số

Vậy với p = 3 thì 2^p + p²  là số nguyên tố.

Ta có $\left(p-1\right)p\left(p+1\right) ⋮ 3$   mà (p, 3) = 1 nên

           $\left(p-1\right)\left(p+1\right) ⋮ 3$                    (1)

 p là số nguyên tố lớn hơn 3 nên p là số lẽ, p – 1 và p + 1 là hai số chẳn liên tiếp , có một số là bội của 4 nên tích của chúng chia hết cho 8  (2)

Từ (1) và (2) suy ra (p – 1)(p + 1) chia hết cho 2 nguyên tố cùng nhau là 3 và 8

Vậy (p – 1)(p + 1) chia hết cho 24.