Aber es wird sich doch dasjenige zeigen, was man meint wenn man sagt: aus
(Е1)x ∙ φx ∙ (Е1)x ∙ ψx ∙ ~(∃x) ∙ φx ∙ ψx folgt (Е2)xφx ⌵ ψx.