クロネッカーのデルタ
ここで はクロネッカーのデルタ を用いた によって定義され、" を満たす。