Das ist ein Beweis über vollständige Induktion.
D.h. man zeigt das
a_0 richtig ist
und wenn a_0 richtig ist das dann auch a_1 richtig ist
und wenn a_1 richtig ist das dann auch a_2 richtig ist
und wenn a_2 richtig ist das dann auch a_3 richtig ist
und so hat man es letztendlich für alle n gezeigt.
Vollständige Induktion bietet sich sehr oft an wenn du etwas für alle n beweisen sollst.