Аксиома: Любая нетривиальная программа имеет хотя бы одну ошибку.

Теорема 1: единственным и достаточным условием тривиальности программы является полное отсутствие ошибок.

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