Es sei
eine Fermat-Gleichung. Zeige: wenn es keine nichttriviale Lösung ( x , y , z ) {\displaystyle {}(x,y,z)} in natürlichen Zahlen gibt, so gibt es auch keine nichttriviale Lösung in ganzen Zahlen.