This site is supported by donations to The OEIS Foundation.
Lemmas are preliminary statements with proofs used to break up the proof of a theorem into manageable chunks.