Sinirli sayida olsun diyelim, p1,⋯,pn. O zaman 4p1p2⋯pn−1 sayisi hepsinden buyuk ve kalani pi−1≠0, yani asal olmasi lazim, bu da kabulumuzle celisir.
Ek bilgi: 4p1p2⋯pn+3 yazsaydik, 3 de bu formda bir asal oldugundan, bu sayi 3'e bolunen ve 3'ten buyuk bir sayi olacakti. Kisacasi isimize yaramiyacakti..