Gitter/Komplexe Zahlen/Untergitter/Verfeinerungsgitter/Fakt

Es sei ein Untergitter eines Gitters in .

Dann gibt es derart, dass gilt.