>>147 で、i, j, k は {1, ... , n} の元で、
K = σ(j) と仮定している。

これで満足かね、おバカさん。