consider W being strict Submodule of V;
W in Submodules V by Def3;
hence not Submodules V is empty ; :: thesis: verum