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