狄利克雷函数的连续性证明