Аксиома: Любая нетривиальная программа имеет хотя бы одну ошибку. Теорема 1: единственным и достаточным условием тривиальности программы является полное отсутствие ошибок. Теорема 2: После увольнения программиста из компании в его программе будет обнаружена хотя бы одна ошибка.