Integers form Ordered Integral Domain/Proof 2

Proof
From Integers form Integral Domain we have that $\struct {\Z, +, \times}$ forms an integral domain.

From Integers form Totally Ordered Ring, $\struct {\Z, +, \times}$ is a totally ordered ring.

Hence the result.