Fermat equation/x^2 in (y,z)^*/Forcing algebra/Several characteristics/Example