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