a proposition that follows from another that has been proved; a corollary.