je jeste jeden axiom a to ze kazdy program lze zkratit o jednu radku aniz by to na funkci cokoliv zmenilo az techto dvou tedy je zrejme ze kazdy program jde zkratit na jednu radku v ktere je stejne chyba