Kommutative Gruppe/Höhenfunktion/Torsion/Endlich/Fakt/Beweis

Aus Wikiversity
Beweis

Dies folgt direkt mit der Schranke , da für alle Torsionselemente gilt.