To není žádná sranda, ale svatá pravda. Všichni programátoři plně potvrdí pravdivost dvou následujících výroků:
1. Každý program lze zkrátit alespoň o jednu instrukci, aniž by utrpěla jeho funkčnost.
2. V každém programu je alespoň jedna instrukce blbě.
Úplnou matematickou indukcí obou předchozích vět získáme:
Každý program lze zkrátit tak, až zbyde jen jedna instrukce a ta je blbě.