theorem
  W1 is Submodule of W2 implies W1 is Submodule of W2 + W3
proof
  assume
A1: W1 is Submodule of W2;
  W2 is Submodule of W2 + W3 by Th7;
  hence thesis by A1,RMOD_2:26;
end;
