Das ist eine seltsame Bemerkung, dass in den Induktionsbeweisen der Grundregeln nach wie vor ihre Unreduzierbarkeit (Unabhängigkeit)
–﹖
sich zeigen muss
. Was, wenn man das für den Fall von gewöhnlichen Beweisen (oder Definition) sagte, also für den Fall, wo die Grundregeln eben weiter reduziert werden, eine neue Verwandtschaft zwischen ihnen gefunden (oder konstruiert) wird.