Proof of Intermediate Value Theorem