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