A small, proven statement that supports larger theorems.
It is a minor result, shown to be true using existing knowledge, often acting as a "helper step" in bigger proofs.
Example: you might first prove a lemma about how even numbers behave before using it to prove a theorem about all integers.