クロネッカーのデルタ
が満たされていればよい。但し、はクロネッカーのデルタである。