Доказана ли теорема Ферма?

Answer 1

Есть малая и большая (или "великая") теоремы Ферма. Малую доказал Вл. Иванов, будучи 4-хлассником (хотя он собщил об этом здесь в "Ответах", но, к сожалению, год не указал) .
О доказательстве большой, думаю, можно найти сведения в Интернете. Одно время читал о доказательстве одним русским, потом японцем, и потом англичанином.

Answer 2

Лет за 20 до доказательства Англичанами, я учился в параллельной группе с Олегом Шокиным, который её доказал, но опубликовать в СССР данное доказательство было невозможно.