Okay, machen wir uns mal an den Beweis:
Wir wollen zeigen, dass jede Zahl der Form 52n−32n für alle n∈N0 durch 16 teilbar ist.
Um dies zu tun, beweisen wir die etwas allgemeinere, aber leichter zu behandelnde Aussage 25n≡9nmod16 für alle n∈N0 durch vollständige Induktion.
Der Induktionsanfang für n=0 ist offensichtlich.
Nun nehmen wir an, die Aussage gelte für irgendein n∈N0, und untersuchen die Aussage 25n+1≡9n+1mod16. Sie ist gemäß den Potenzregeln gleichwertig zu 25⋅25n≡9⋅9nmod16. 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≡9mod16, was wegen 25=16+9 sicher wahr ist. Damit schließt der Beweis und es folgt die ursprünglich zu zeigende Aussage als Spezialfall.