>>622の続き
Eq2：自然数のｎ組の順序関係に関する同値類の設定
　　「(a1,･･･,an)と、(b1,･･･,bn)は、任意のi,jについて
　　　ai,aj間とbi,bj間の大小関係が等しいとき同値とみなす」
Lm2：自然数のｎ組の順序関係に関する同値類から
　　順序を保存する長さｎの代表順列を選択する

Eq2→Lm2　（*順列は有限個だから可算選択公理すら必要ない！）