set x = the strict Submodule of V;
thus not Submodules V is empty ; :: thesis: verum