狄利克雷判别法推导阿贝尔判别法