Jedes Programm läßt sich um mindestens eine Anweisung kürzen. Jedes Programm hat mindestens…

Jedes Programm läßt sich um mindestens eine Anweisung kürzen.
Jedes Programm hat mindestens einen Fehler.
Durch vollständige Induktion können wir aussagen:
Jedes Programm ist reduzierbar auf eine Anweisung, die nicht funktioniert…