Kabul edelim ki sonlu sayıda asal olsun.
Bütün asallardan oluşan kümeyi P ile gösterelim.
P= {p1,p2,p3,...,pn }
S=p1.p2.p3...pn+1 için S>1 ve S∈Z olduğundan A.T.T. gereğince;
Sp ∈Z o.ş. bir p asalı vardır.
⇒
(p∈ S)(p=pi)
⇒
(Spi∈Z)ve(p1.p2.p3...pnpi∈Z)
⇒
1pi∈Z
⇔
pi=1(→←)