Mathe für Nicht-Freaks: Abstellraum/Beweis der Rekursionsformel für die Fakultät

Beweis

Wissen wir, dass das Verfahren korrekt ist, können wir nun,von der Art ihrer Erzeugung, auf die Anzahl der erzeugten Anordnungen schließen. Intuitiv sollte die Korrektheit klar sein, der Vollständigkeit halber ist jedoch hierunter ein Beweis angeführt.