22. Mean value theorem