Nếu p = 3 ta có: 2p2 + 1 = 2.(3)2 + 1 = 19 (loại)
Nếu p = 3k + 1 ta có: p2 \(\equiv\) 1 (mod 3) (tc của số chính phương)
2.p2 \(\equiv\) 2 (mod 3)
2p2 + 1 ⋮ 3 ⇒ 2p2 + 1 là hợp số thỏa mãn
Nếu p = 3k + 2 ta có: p2 \(\equiv\) 1 (mod 3) (tc của số chính phương)
2.p2 \(\equiv\) 2 (mod 3)
⇒ 2p2 + 1 ⋮ 3 (mod 3)
⇒ 2p2 + 1 là hợp số
Vậy tất cả các số nguyên tố khác 3 đều thỏa mãn
2p2 + 1 là hợp số