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