Что такое у вас 

?

 - это общий множитель (делитель), когда 

 уравнивается с натуральным 

, если доказывать ТФ  способом от противного, исходя из утверждения:
"У Ферма речь идет о натуральных 

 . Поэтому теорему (гипотезу) Ферма легко сформулировать так:
«Ни для каких положительных целых чисел (из множества их численных значений) 

 и 

, удовлетворяющих равенству:

 ,
численное значение 

 не может быть равным численному значению 

.»
Или, что то же самое:
«
Ни для каких положительных целых чисел (из множества их численных значений) 
 и 

, удовлетворяющих равенству:

,
численное значение 

 не может быть равным 

 или 

.»
Что означает: 
числа 

 не являются одновременно натуральными числами (то есть однородными величинами) в равенстве: 

 , где 

 , 
поскольку не имеют общего множителя-делителя 

 (численного значения величины, принятой за единицу)."
topic75889-165.html