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