Es sei G {\displaystyle {}G} eine kommutative Gruppe mit einer Höhenfunktion h : G → R {\displaystyle {}h\colon G\rightarrow \mathbb {R} } .
Dann ist die Torsionsuntergruppe von G {\displaystyle {}G} endlich.
