롤의 정리, 평균값의 정리