A lemma is a minor, proven proposition that serves as a necessary step towards the Proof of a larger Theorem. It's a foundational truth, often simple, illuminating the path to a grander discovery in fields like Math. See also Axiom Corollary Hypothesis