Converted from a comment by another user:
I believe that this follows from the existence and uniqueness of Hermite normal form.
Federico Poloni
- 20.2k
- 2
- 82
- 120