1) kazdy software ma alespon jednu chybu, 2) kazdy kus kodu se da jeste zmensit z toho plyne ze pokud aplikujete nespornou pravdu bodu 1) a 2) beze zbytku - dostanete kod velikosti jeden bit a prave tento jeden bit bude chybny... :-)))
Proc vas prekvapuje chyba v bankovnim SW, vzdyt ho pisi take lide - omylni a chybujici.