命題
>>73の ≦ により (Z+)^n は全順序集合となる。

証明
自明である。