Integers under Addition form Totally Ordered Group

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