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