展开 拉格朗日推论2证明