阿贝尔定理推论