クロネッカーのデルタ
where "formula_18" is the Kronecker delta.