Korollariet är ej uttaladt , men klart: