Corollary, in Logic or Mathematics, is an easy deduction appended to a proposition that has been proved.