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