Substitution/Hintereinanderschaltung/Formel/Ausdrücke/Extremer/Aufgabe

Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben. Es seien verschiedene Variablen, ein -Term und ein -Ausdruck, wobei weder in noch in vorkomme. Gilt dann die Gleichheit