set v = the non zero Vector of V;
not Lin { the non zero Vector of V} is divisible ;
hence not for b₁ being Submodule of V holds b₁ is divisible ; :: thesis: verum