>>690
1 と i < k ≤ j なる k を順繰りに入れ替えれば恒等置換になるから。

>>692
中間値