Intermediate Value Theorem Proof