Ich könnte den Fermatschen Satz so schreiben: „Die Gleichung xn + yn = zn ergibt die Lösung:
{ x = 0, y = 0, z = 0, n = n
x = r, y = s, z = r + s, n = 1
x = r² ‒ s², y = 2rs, z = r² + s², n = 2

(der Gegensatz davon ist „xn + yn = zn ergibt diese Lösungen nicht”; und natürlich gilt der Satz vom ausgeschlossenen Dritten.)