corollarii