$n>1$ dir. Fermat asalı bir $p$'nin ilkel asal olma şartı $\left (\dfrac{a}{p}\right)$ legendre sembolü olmak üzere $\left(\dfrac{10}{p}\right)=-1$ olmasıdır. Aksini kabul edelim. $\left(\dfrac{10}{p}\right)=1$ ve $p$ ilkel bir fermat asalı olsun. $$\left(\dfrac{10}{p}\right)\equiv 10^{\frac{p-1}{2}}\pmod{p}$$ olduğundan $p$
ilkel asal olamaz. $\left(\dfrac{10}{p}\right)=-1$ olsun. $10$'un $p$ modundaki mertebesi $k$ ise $k\mid p-1=2^{2^n}$ olacaktır ve buradan $k=2^a$ formatında bulunur. Eğer $a\neq 2^n$ ise $a\leq 2^n-1$'dir. $$\left(\dfrac{10}{p}\right)\equiv 10^{\frac{p-1}{2}}\equiv 10^{2^{2^{n}-1}}\equiv 10^{2^a\cdot 2^{2^n-1-a}}\equiv \left(10^{2^a}\right)^{2^n-1-a}\equiv 1\pmod{p}$$ olacaktır. Bu $\left(\dfrac{10}{p}\right)=-1$ olmasıyla çelişir. Dolayısıyla $10$'un mertebesi $p-1$'dir. Yani $p$ ilkeldir. Şimdi $5$'ten büyük fermat asalları için $\left(\frac{10}{p}\right)=-1$ olduğunu gösterelim.
$$\left (\dfrac{10}{p}\right)=\left(\dfrac{2}{p}\right)\left(\dfrac{5}{p}\right)=(-1)^{\frac{p^2-1}{8}}\left(\dfrac{5}{p}\right)$$ $p^2-1\equiv (2^{2^n}+1)^2-1 \equiv 2^{2^{n+1}}+2^{2^n+1}\equiv 0\pmod{16}\Rightarrow \left(\dfrac{10}{p}\right)=\left(\dfrac{5}{p}\right)$
$$\left(\dfrac{5}{p}\right)\left(\dfrac{p}{5}\right)=(-1)^{\frac{5-1}{2}\frac{p-1}{2}}=1$$ $p^{\frac{5-1}{2}}\equiv (2^{2^{n}} + 1)^2\equiv -1\pmod{5} \Rightarrow \left(\dfrac{5}{p}\right)=\left(\dfrac{p}{5}\right)=-1$ $$\left(\dfrac{10}{p}\right)=\left(\dfrac{5}{p}\right)=-1$$ dolayısıyla $5$ ten büyük tüm fermat asalları ilkeldir.