Thật vậy, giả sử 8p-1 và 8p+1 đồng thời là các số nguyên tố.
Xét:
+ p = 3. Khi đó 8p + 1 = 25(không t/m)
+ [tex]p\neq 3[/tex]
Ta có: Trong 3 số 8p - 1, 8p , 8p + 1 luôn tồn tại 1 số chia hết cho 3.
Mà [tex]p\neq 3[/tex] nên p không chia hết cho 3, 8p không chia hết cho 3.
=> Trong 2 số 8p - 1 và 8p + 1 tồn tại 1 số chia hết cho 3.
Mà 3 < 8p - 1 < 8p + 1 nên 8p - 1 và 8p + 1 không đồng thời là số nguyên tố.