korollariet