corollariis