Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
Некоторые истины нельзя доказать принципиально: математики нашли пределы собственной реальности.
Исследователи, изучающие теорию вычислительной сложности, уже несколько десятилетий пытаются строго доказать то, что кажется интуитивно очевидным: существуют задачи, которые просто не поддаются...