theorem Th44:
  v in v + W
proof
  v + 0.V = v & 0.V in W by Th17,RLVECT_1:def 4;
  hence thesis;
end;
