Es liegt die Untergitterbeziehung n Γ ⊆ Γ {\displaystyle {}n\Gamma \subseteq \Gamma } vor, daher folgen die Aussagen aus Fakt.