theorem :: ZMODUL08:2

for V being Z_Module
for v being divisible Vector of V holds - v is divisible