Falls an = 9n + 15 durch 24 teilbar ist (für eine natürliche Zahl n mit n≥1).
dann gilt:
an+1 = 9n+1 + 15 = 9 · 9n + 15 = 9 · 9n + 135 - 120 = 9 · (9n + 15) - 120
Da der Klammerterm im letzten Term nach Induktionsvoraussetzung durch 24 teilbar ist und ferner 120 = 5 · 24 , folgt, dass auch an+1 durch 24 teilbar sein muss.
Damit ist der "Induktionsschritt" erwiesen.
Sofort klar ist natürlich auch, dass die Behauptung für n=1 gilt, denn
a1 = 91 + 15 = 9+15 = 24 = 24 · 1 .