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