Divisible Gruppe/Grundlegende Eigenschaften/Fakt/Beweis

Beweis

Sei . Für jedes gibt es mit . Dann gilt auch in .