>>544 平均値の定理