/  
Und ist es da nicht klar daß die rekursiven Beweise tatsächlich dasselbe für alle ‚bewiesenen’ Gleichungen zeigen?