Zu jeder kommutativen Gruppe G{\displaystyle {}G}
gibt es eine divisible Gruppe D{\displaystyle {}D} mit G⊆D{\displaystyle {}G\subseteq D}.