Induktuionsschritt
3^{2·(n + 1) + 1} - 3 ist durch 6 teilbar
3^{2·n + 1 + 2} - 3 ist durch 6 teilbar
9 * 3^{2·n + 1} - 3 ist durch 6 teilbar
9 * 3^{2·n + 1} - 3 - 24 ist durch 6 teilbar
9 * 3^{2·n + 1} - 27 ist durch 6 teilbar
9 * (3^{2·n + 1} - 3) ist durch 6 teilbar
Letzteres ist erfüllt, da wir die Induktionsannahme verwenden dürfen.