theorem LMLT2: :: ZMODUL08:6

for V being divisible Z_Module
for W being Submodule of V holds VectQuot (V,W) is divisible