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