Der Fermatsche Satz ist (n): n ≠ 2 ⌵ n ≠ 1 ¤ ⊃ ~(∃x,y,z) xn + yn = zn oder (n):(∃x,y,z) xn + yn = zn ∙ x ≠ 0 ∙ y ≠ 0 ∙ z ≠ 0 . ≡ . n = 1 ⌵ n = 2