Sonlu kabulu ile baslayalim.
p1,p2,⋯,pn olsun bu asal sayilar.
Simdi
(p1⋯pn)=x dersek
x2−x+1' de bu formda bir sayi tum bu asallardan buyuk olur ve hic birine bolunmuyor, ayrica hic bir
6k+5 elemanli cisimde indirgenemez. (
bknz ) Bu su demek oluyor, eger asal degilse carpanlarindan biri
6k+1 formatinda olmali. Bu da celiski getirir.