Hola
Gracias soneu por tu respuesta.
En mi mensaje inicial ya indico

. En Teoría de Números así como en Teorema de Fermat, las letras representan siempre a naturales.
La desigualdad inicial no es equivalente a

como dices pues no son contradictorias.
La conclusión a que llego es

Precisamente la desigualdad inicial NO es válida por la conclusión antes citada.
Creo que no has leído con atención mi mensaje.
Saludos.