MATH 255: Key Theorems