PROGRAM

• Svaki program ima barem jednu gresku i moze se skratiti barem za jednu
instrukciju - iz cega indukcijom slijedi da se svaki program moze reducirati na jednu instrukciju koja ne radi.