Tautologische Termgleichheit/Zeichenketten/Aufgabe

Es sei ein Symbolalphabet einer Sprache erster Stufe. Es seien -Terme mit

gegeben. Zeige, dass es sich bei und um eine identische Zeichenreihe handelt.