Rossi R. Theorems, Corollaries, Lemmas, and Methods of Proof 2006