theorem Th29:
  w is VECTOR of V
proof
  w in V by Th28,RLVECT_1:1;
  hence thesis;
end;
