Доказательство теоремы Ферма для n=4
Из уравнений (11) и (12) следует, что необходимым условием для того чтобы числа В и С были целыми, является делимость числа N4 на число M , т.е. число M должно быть одним из сомножителей, входящих в состав сомножителей числа N4.