Honors 1.01 Theorems