阿贝尔定理是充要条件