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