In particular, this shows that the Smith normal form exists, which was assumed without proof in the definition.
Insbesondere bedeutet dies, dass die Smith-Normalform immer existiert, was in der Definition noch ohne Beweis angenommen wurde.