Theorem
An assertion that can be proved true using the rules of logic. A theorem is proven from axioms, postulates, or other theorems already known to be true.
See also
Lemma, corollary