Behauptung: Jedes Programm läßt 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...