korollariets