Reiterationsregel

Die Wiederverwendung von Annahmen und Schlüssen aus dem aktuellen Unterbeweis oder aus Unterbeweisen oberhalb des aktuellen Unterbeweises.