Dirac delta function
を満たす。ここで、formula_13はディラックのデルタ関数である。