Ein Beweis für Programmierer:

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...