Substitution/Hintereinanderschaltung/Formel/Terme ohne äußere Variablen/Aufgabe

Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben. Es seien paarweise verschiedene Variablen und fixierte -Terme. Zeige, dass für Terme , in denen nicht vorkommen, die Gleichheit

gilt.