theorem
  (0).W1 is Submodule of W2
proof
  (0).W1 = (0).W2 by Th37;
  hence thesis;
end;
