Und ist es da nicht klar, dass die rekursiven Beweise tatsächlich dasselbe für alle “bewiesenen” Gleichungen zeigen?