Das ist eine seltsame Bemerkung, dass in den Induktionsbeweis der Grundregeln nach wie vor ihre [u|U]nreduzierbarkeit (Unabhängigkeit) sich zeigen muss // ﹖– zu Tage treten muss –﹖ // . Was, wenn man das für den Fall von gewöhnlichen Beweisen (oder Definitionen) sagte, also für den Fall, wo die Grundregeln eben weiter reduziert werden, eine neue Verwandtschaft zwischen ihnen gefunden (oder konstruiert) wird.