lautet:

Es sei L eine diskrete Untergruppe von ℂ, d. h. für a, b ∈ L gilt a + b ∈ L, und L besitzt keinen Häufungspunkt in ℂ. Dann ist L von genau einem der folgenden drei Typen:

(1) Es ist L = {0}.

(2) Es ist L eine zyklische Gruppe, d. h. es existiert ein ω ∈ ℂ \ {0} mit L = Zω = {nω : n ∈ ℤ}.

(3) Es ist L ein Gitter, d. h. es existieren ω₁, ω₂ ∈ ℂ\{0} \(mit\,{\scriptstyle \frac{{\omega}_{1}}{{\omega}_{1}}}\,\rlap{/}{\in}\,{\mathbb{R}}\)und L = Zω₁ +Zω₂ = {n₁ω₁ + n₂ω₂ : n₁, n₂ ∈ ℤ}.