Normalerweise zeigt man halt das allgemein der Nachfolger (n+1) eines gültigen Ergenisses gibt. Und da ein Ergebnis (Induktions Anfang) berechnet wird, sind alle Werte bewiesen. Ich sehe kein Problem darin alle Vorgänger (n-1) zu beweisen. Hab aber sowas noch nie gesehen. Bin aber nur Ersti.