证明阿贝尔判别法的条件