Вы ведь не знаете, наверняка, появится или нет завтра элементарное доказательство, подтверждающее или опровергающее его запись на полях...
Не появится.
Эрнст Куммер в 1847 году доказал, что полное доказательство ВТФ элементарными методами не возможно.
"А мужики-то и не знают!"
