Rational Numbers form Ordered Integral Domain

Theorem
The rational numbers $\Q$ form an ordered integral domain under addition and multiplication.