Эти утверждения неверны. Для случая алгебраических поверхностей неравенство Мияоки было им же доказано (обобщая предшествующее неравенство Ф. А. Богомолова). То, что арифметический аналог неравенства Мияоки влечет теорему Ферма было показано А. Н. Паршиным. Более подробно см. Паршин А. Н. Дополнение редактора к книге «Алгебра и теория чисел (с приложениями)». – М.: Мир, 1987. С. 267–271. — Прим. ред.
