>>928
n>n'となる場合と逆になる場合が同数でなかったとすると矛盾するから。
かりにn'>nとなる場合の方が多かったとすると、n'とnを入れ替えればn>n'となってしまう。