如何证明阿贝尔判别法