27.4.16.
     φx . ψy
Sagen wir ich wollte eine Funktion von 3 unter einander unauswechselbaren Argumenten
darstellen.