4.04: Mean Value Theorem