به نام خدا
با فرض طبیعی و زوج بودن $n$، باید ثابت کنیم که: $2^n\overset{6}{\equiv}4$. چون $n$ زوج است؛ پس مینویسیم: $n=2m$ (که $m$ عددی طبیعی است).
میدانیم که: $2^n\overset{2}{\equiv}0$ و همچنین $2^2\overset{3}{\equiv}1$. دو طرف رابطه را به توان $m$ میرسانیم. داریم: $2^{2m}\overset{3}{\equiv}1$. پس به نتایج زیر رسیدیم:
$$2^{n}\overset{2}{\equiv}0 \Rightarrow 2^{n}-2^{2}\overset{2}{\equiv}0 \Rightarrow 2^{n}\overset{2}{\equiv}4$$
$$2^{n}\overset{3}{\equiv}1 \Rightarrow 2^{n}\overset{3}{\equiv}4$$
در نهایت:
$$\left.\begin{array}{l}
2^{n}\overset{2}{\equiv}4\\ 2^{n}\overset{3}{\equiv}4
\end{array}\right\rbrace\Longrightarrow 2^{n}\overset{2\times 3}{\equiv}4 \Rightarrow 2^{n}\overset{6}{\equiv}4$$
پس حکم اثبات شد. $\blacksquare$