MATH 135 Theorem