Korollariet blir således ,att