Prädikatenlogik/Substitution/Rang unverändert/Aufgabe

Zeige durch Induktion über den Aufbau der Ausdrücke, dass sich bei einer Termsubstitution der Rang

eines Ausdrucks nicht ändert.