展开 拉格朗日定理推出柯西定理