ロルの定理が、中間値定理と平均値定理の
中間の定理だって言ってんだけど。