утверждение теории чисел, согласно которому уравнение xn+yn=zn при n > 2 не имеет целых положительных решений. П. Ферма, высказавший эту теорему, не оставил ее доказательства. Эндрю Уайлз (Andrew Wiles), математик из Принстона, привел в 1994 г. полное доказательство теоремы Ферма. Проверка доказательства, основанного на теореме Фальтингса,