結果 : dirac delta function rigorous definition