Converted from [a comment](https://mathoverflow.net/questions/249367/unique-upper-triangular-basis-matrix-of-sublattice-lambda-subseteq-mathbbz#comment613076_249367) by another user:

> I believe that this follows from the existence and uniqueness of Hermite normal form.