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