Kronecker delta
ここでformula_20はクロネッカーのデルタ。