мы можем рассматривать вариант разложения на сомножители

, что не противоречит начальным условиям.
Вот и рассмотрите! Напишите полное доказательство!
Доказательство теоремы Ферма для третьей степени.

все числа целые, положительные.
числа

,

,

не имеют общего делителя, так как уравнение легко приводится к тому же состоянию при делении каждого члена на общий делитель.

Если

и одновременно

, мы рассмотрим вариант разложения на сомножители

, что не противоречит начальным условиям.
Разложим

на сомножители

Из этого следует, что искомое

имеет сомножители входящие в

, но

должно иметь каждого простого сомножителя по три.
Пытаемся разделить

на

, т.е. найти второй сомножитель.
Преобразуем

или

В общем виде получаем выражение3

Рассмотрим несколько примеров.
Первый самый примитивный.

простое число, например

.
Подставляем в выражение3 значение

получим

Соотношение

и

определяет возможный результат поисков количества сомножителей

в

Если

, тогда и

Заменим

на новые значения

что равно

из чего следует, что

, что противоречит начальным условиям задачи.
Если

, и как видно из выражения3

остается в одиночестве, следовательно

не может быть третьей степенью числа.
Второй пример. Усложним задачу.

, где

простые числа
Если

или

или

и

и

рассмотрели в предыдущем примере.
Рассмотрим

и введем дополнительное условие

Соответственно

В выражении3 Заменим

на новые значения

что равнозначно

из чего следует, что

, что противоречит начальным условиям задачи.
Есть еще один уникальный случай нахождения еще одного сомножителя

и

и

и

числу степени, тогда


Следовательно

что и требовалось доказать.