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