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