Definition
Theorem
A theorem is a mathematical statement that has been proved true.
The word is usually used for a central or important result. A lemma is often used as a step toward a theorem, a corollary follows directly from an earlier result, and a proposition is often a proved result that is less central.