korollariernas