Okay, machen wir uns mal an den Beweis:
Wir wollen zeigen, dass jede Zahl der Form \(5^{2n} - 3^{2n}\) für alle \(n\in\mathbb{N}_0\) durch \(16\) teilbar ist.
Um dies zu tun, beweisen wir die etwas allgemeinere, aber leichter zu behandelnde Aussage \(25^{n} \equiv 9^{n} \mod 16\) für alle \(n\in\mathbb{N}_0\) durch vollständige Induktion.
Der Induktionsanfang für \(n=0\) ist offensichtlich.
Nun nehmen wir an, die Aussage gelte für irgendein \(n\in\mathbb{N}_0\), und untersuchen die Aussage $$25^{n+1} \equiv 9^{n+1} \mod 16.$$ Sie ist gemäß den Potenzregeln gleichwertig zu $$25\cdot 25^{n} \equiv 9\cdot 9^{n} \mod 16.$$ Nach unserer Induktionsannahme lassen die beiden Potenzen in obiger Kongruenzgleichung beim Teilen durch \(16\) jeweils den gleichen Rest, sodass sie aus der Gleichung herausgekürzt werden können. Wir erhalten $$25 \equiv 9 \mod 16,$$ was wegen \(25=16+9\) sicher wahr ist. Damit schließt der Beweis und es folgt die ursprünglich zu zeigende Aussage als Spezialfall.