展开 证明狄利克雷判别法