Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion/Aufgabe

Es seien Terme und ein -stelliges Funktionssymbol. Zeige, dass die Ableitbarkeit

gilt.