2.12.16.
Die Ähnlichkeit der Allgemeinheitsbezeichnung mit dem Argument zeigt sich wenn wir statt φa schreiben (ax).φx.(Ƒ)