Ind.A 8|(9-1)
Ind.Annahme
( da war der Feher von an nach an+1)
8| (9^n -1)
8| (9^n -1)*(9-1)
8| (9^(n+1) - 9 -9^n +1) -1 +1
8| (9^(n+1) -1 - 9 +1-9^n +1) Klammern
8|( (9^(n+1)-1) - (9 -1) - (9^n -1))
8|( (9^(n+1)-1) - 8 - (9^n -1) )
Ausgewählte Vielfache von 8 streichen
8| (9^(n+1)-1) Induktion Schluss
wie zu zeigen war
Schneller geht de Beweis aber anders
9Ξ1 mod 8
9^nΞ 1 mod 8
9^n -1 = 0 mod 8 8| (9^n -1)
Doch es sollte ja die Vollständige Induktion sein.