Denote and for some natural numbers and ; then the following hold:

As , we are done. The ordering in is compatible with the addition and with the multiplication. The proofs are similar to the corresponding proofs in (v.s. Propositions 1.29 and 1.30).

root 2002-06-10