阿贝尔定理的推论及其证明是什么