展开 拉格朗日定理推论2的证明