Exercise 2, § 2

Let A be a totally ordered ring and n the set of nilpotent elements of A (which is an ideal of A). Every element of A not belonging to n is infinitely large with respect to n; the quotient ring $A/n$ is totally ordered (VI, p. 30, Ex. 4) and is an integral domain.