Prädikatenlogik/Gleichheit/Allgemeine Transitivität/Ableitbar/Aufgabe

Es sei ein Symbolalphabet und seien -Terme. Zeige die Ableitbarkeit