Mean Value Theorem Definition