Nebo zkrátit a zrychlit program dle následujícího:
1. Každý program lze zkrátit alespoň o jednu instrukci.
2. Každý program má alespoň jednu instrukci blbě.
S pomocí úplné matematické indukce můžeme prohlásit: Každý program lze zkrátit, až zbyde jen jedna instrukce a ta je blbě.