Si eliminamos la solución trivial en \( x \), obtenemos, para exponente 6, se puede extender a cualquier exponente par, \( y^4 - 2ty^3 + 3y^2 - ( 6 + 9( t^2 - 1)) \) = 0, con \( t\geq 1 \), si la ecuación tiene soluciones enteras también las tiene la ecuación de Fermat y recíprocamente. Una sugerencia para aquellos que utilizan métodos aritméticos o algebraicos puros : \( ( x^a)^b \) tiene tratamiento distinto para la resolución de \( (x^b)^a \). Saludos.