IA: Zeige das die Aussage für n = 1 gilt
(a - 1) | (a^1 - 1) = (a - 1)
Das ist offensichtlich wahr.
IS: Zeige das es für n + 1 gilt, wenn es für ein n gilt.
a^(n + 1) - 1 = a * a^n - a + a - 1 = a * (a^n - 1) + (a - 1)
Die Summe ist durch a - 1 teilbar, weil beide Summanden durch a - 1 teilbar sind.