L22 Übungsaufgabe 1: Variablensubstitution und arithmetische Substitution