Integers under Addition form Totally Ordered Group

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