Lemmas And Corollaries

Lemmas are theorems with short proofs that are used to prove theorems with long proofs. Corollaries are theorems with short proofs that rely on theorems with long proofs.