Блок-схема «сказочного» доказательства Великой теоремы Ферма исключительно проста: по существу это 1) единственная операция (в системе счисления с простым основанием n) почленного умножения равенства A^n=C^n-B^n [=(C-B)P] на такое число g^n, что окончание числа А длиной в k+2 цифр (где k – число нулей на конце положительного числа А+В-С) становится равным 1; и, после этого, 2) простейшее вычисление (k+2)-значного окончания числа С-В, которое также оказывается равным 1!
В итоге число А+В-С имеет на конце не k, а k+2 нулей. И противоречие налицо.
Не считая простейших лемм из теории счисления с простым основанием и свойств равенства Ферма, доказательство занимает всего 15 строк текста! А единственное вычисление состоит из решения цифрового уравнения a+x=n.
И теперь возникает интересный вопрос: почему никто из сотни крупных математиков, кому было направлено доказательство, его пока не понял и, естественно, не признал?!
Наука умеет много гитик...