Theorem is a proposition that has been proven to be true. Special forms of theorems include lemmas and corollaries.
Examples of theorems: (a) If two sides of a triangle are of equal length, then the angles opposite those sides are also equal. (b) For all real numbers x, y, and z, if x ≤ y and y ≤ z, then x ≤ z (transitive law).