(0). V is divisible ;
hence ex b₁ being Submodule of V st b₁ is divisible ; :: thesis: verum