Es seien s1,…,sn,t1,…,tn{\displaystyle {}s_{1},\ldots ,s_{n},t_{1},\ldots ,t_{n}} Terme und f{\displaystyle {}f} ein n{\displaystyle {}n}-stelliges Funktionssymbol. Zeige, dass die Ableitbarkeit