Es sei ein
euklidischer Bereich
und sei eine
-Matrix über . Es sei das Minimum von und .
Dann gibt es eine Darstellung
-
mit invertierbaren
-Elementarmatrizen und und einer
Diagonalmatrix .
Es gibt ein mit und folgender Eigenschaft: Für teilt jeweils und für gilt .