theorem LMLT2: :: ZMODUL08:6

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