corollary [pl. corollaries]