Dabei ist der Induktionsschritt selbst korrekt, würde aber die Induktionsverankerung bei einem benötigen, während der (fehlerhafte) Beweis die Induktion bei verankert und schon der Schritt von auf scheitert.