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.