Summary of Theorems and Proofs