Behauptung:
Jedes Programm lässt sich um mindestens eine Anweisung kürzen.
Jedes Programm hat mindestens einen Fehler.
Durch Induktion können wir schließen:
Jedes Programm ist reduzierbar auf eine Anweisung, die nicht funktioniert…
Jedes Programm lässt sich um mindestens eine Anweisung kürzen
