展开 狄利克雷定理证明