Theorems, Corollaries, Lemmas, and Methods of Proof