クロネッカーのデルタ
ここでformula_5はクロネッカーのデルタである（formula_6のとき1, それ以外では0）。