Integers under Addition form Totally Ordered Group

Theorem
The ordered structure $$\left({\mathbb{Z}, +; \le}\right)$$ is a totally ordered group.