A proposition is a mathematical statement that has been proved true.
The word is often used for a result that is important, but usually regarded as less central than a theorem. A lemma is typically used as a proof step, while a corollary follows directly from an earlier result.