Kabul edelim ki sonlu sayıda asal olsun.
Bütün asallardan oluşan kümeyi $P$ ile gösterelim.
$$P=\ \lbrace{ p_1,p_2,p_3,...,p_n}\ \rbrace$$
$S=p_1.p_2.p_3...p_n+1$ için $S>1$ ve $S\in\mathbb{Z}$ olduğundan $A.T.T.$ gereğince;
$\frac{S}{p}$ $\in\mathbb{Z}$ o.ş. bir $p$ asalı vardır.
$$\Rightarrow$$
$$(p\in\ S)(p=p_i)$$
$$\Rightarrow$$
$$\Big(\frac{S}{p_i}\in\mathbb{Z}\Big) ve \Big(\frac{p_1.p_2.p_3...p_n}{p_i}\in\mathbb{Z}\Big)$$ $$\Rightarrow$$
$$\frac{1}{p_i}\in\mathbb{Z}$$
$$\Leftrightarrow$$
$$p_i=1 (\rightarrow\leftarrow)$$