Sinirli sayida olsun diyelim, $p_1, \cdots, p_n$. O zaman $4p_1p_2\cdots p_n-1$ sayisi hepsinden buyuk ve kalani $p_i-1 \neq 0$, yani asal olmasi lazim, bu da kabulumuzle celisir.
Ek bilgi: $4p_1p_2\cdots p_n+3$ yazsaydik, $3$ de bu formda bir asal oldugundan, bu sayi $3$'e bolunen ve $3$'ten buyuk bir sayi olacakti. Kisacasi isimize yaramiyacakti..