Definition: The term "corollary" is a Latin word that refers to a deduction or inference, often used in mathematics and logic. It means that a certain fact or statement is proved by another more general fact or statement. For example, if we have two propositions A and B, the corollary of A (denoted as CorA) is a proposition C such that: 1. If A is true, then C must also be true. 2. If C is true, then it