Integers form Ordered Integral Domain

Theorem
The integers $\Z$ form an ordered integral domain under addition and multiplication.