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