Es sei Γ 1 ⊆ Γ {\displaystyle {}\Gamma _{1}\subseteq \Gamma } ein Untergitter eines Gitters Γ {\displaystyle {}\Gamma } in C {\displaystyle {}{\mathbb {C} }} .
Dann gibt es n ∈ N + {\displaystyle {}n\in \mathbb {N} _{+}} derart, dass n Γ ⊆ Γ 1 ⊆ Γ {\displaystyle {}n\Gamma \subseteq \Gamma _{1}\subseteq \Gamma } gilt.