関係

　i
　△　　＞→ l
j　　k

⇒

　i
　△　　＞→ k
j　　l

は i, j, k, l の数字が異ならない場合にも同様に成り立つことが
等項定理 >>66 より確かめられる。

よって

[移項定理]

任意の (i, j, k) に対して

　i
　△　　＞→ l
j　　k

が成り立つことを □(i, j, k, l) と書くとすると
(i, j, k, l) の任意の置換 (σ(i), σ(j), σ(k), σ(l)) に対して
□(σ(i), σ(j), σ(k), σ(l)) が成り立つ。

i, j, k, l は
1) 全て異なる、 2) 異なる２数が２つづつ、3) 全て同じ
のいずれかである。