数论中最具创新和美丽的证明之一，等差级数的狄利克雷定理