Verilenler: p ve 8p−1 asal sayi.
Simdi p=3 olarak dusunelim, 8p−1=23 olur, lakin 8p+1=25=5⋅5 olur, yani birlesik. O zaman geriye kalan olasiliklara bakali. p≠3:
3|p−1 ise 3|8p+1 yani asal olamaz.
3|p−2 ise 3|8p−1>3 yani asal degil, bu da verilene ters. kisacasi boyle bir durum soz konusu degilmis zaten.