По-настоящему, есть только две великие математические задачи, когда надо обосновать очевидное.
Первая - это Великая Теорема Ферма. Теперь она доказана.
Но до сих пор не доказана Вторая Великая Теорема:
"При любом количестве пар носков, загруженных в стиральную машину, число извлеченных носков всегда нечетно".