x als allg. Konstante fa = φa
(x) ∙ fx = φx :   ~(∃x) fx ≠ φx
~(fa = φa)
~(x) fx = φx     (∃x) fx ≠ φx