Jene Implikation dient || ist natürlich nur als ¤ Instrument des Schließens || Schlusses von der Induktion auf den Satz.

24