theorem
  0.W in V by Th28,RLVECT_1:1;
