证明阿贝尔判别法的方法