A corollary is a natural consequence or logical deduction that follows from a proposition that has already been proven. In logic and mathematics, it's a theorem that follows readily from another theorem. Options A and B describe different concepts entirely, while D is unrelated.