(ensprechend für Funktionen mit mehreren Argumenten)
Beachte Analogie zur Aussagenlogik (A und B sind Aussage-Variablen, ist Implikation):
wenn AB und A ist wahr, dann ist B wahr.
(= Curry-Howard-Isomorphie)