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