H vad blir nu corollarium häraf?