corollaries