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