p eger 3e bolunmeyen bi sayiysa p^2+2\equiv 0 \: \text{mod} \: 3 olacagindan. p^2+2 sadece 3e esitse ya da p sayisi 3e bolundugunde bir asal sayi olabilir. O zaman bu ikisinin asal oldugu tek bir durum var p=3 ve p^2+2=11 oldugu durum ve bu durumda p^3+2=29 oluyor, yani asal. O zaman onermemiz dogru.