Divisible Gruppe/Grundlegende Eigenschaften/Fakt