48
Der
Übersichtlichkeit halber wird auf die Indizierung jetzt verzichtet und statt dessen gerade Variablen/Terme mit
und ungerade mit
gekennzeichnet.
@