corollariorum