Linear Orders in Presburger Arithmetic

We prove the linear orders first-order definable in the standard model $(\text{ZZ};<,+)$ of Presburger arithmetic are exactly those that are $(\text{ZZ};<,+)$-definably embeddable into the lexicographic ordering on ${\text{ZZ}}^n$ for some $n$.