COROLLARIES

Definition of COROLLARIES