Betrachte statt des Beispiels ‘1 : 3’ ein Beispiel der rekursiven Abkürzung eines R.schen Beweises!