Es sei S{\displaystyle {}S} ein Symbolalphabet und t1,…,tn{\displaystyle {}t_{1},\ldots ,t_{n}} seien S{\displaystyle {}S}-Terme. Zeige die Ableitbarkeit