(x,y,z n) xn + yn ≠ zn behauptet eigentlich eine bestimmte Lösung der Gleichung xⁿ⁺² + yⁿ⁺² = zⁿ⁺², nämlich die: x = y = z = 0. Und in dieser Gleichung ist das n als Konstante aufgefaßt & x,y,z als Unbekannte. Oder besser: der Satz behauptet vor allem, daß diese Gleichung eine bestimmte allgemeine Lösung hat. D.h. er behauptet daß die mathematischen Regel[en|n] den Satz xⁿ⁺² + yⁿ⁺² = zⁿ⁺² eindeutig in x = y = z = 0 transformieren werden.
  Vor allem: Ist das die Behauptung einer Gleichung?