theorem :: ZMODUL08:1

for V being Z_Module
for v, u being divisible Vector of V holds v + u is divisible