set W = the strict Submodule of V;
the strict Submodule of V in Submodules V by Def3;
hence not Submodules V is empty ; :: thesis: verum