this following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). see also list of axioms, list of theorems and list of conjectures.