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