theorem
  T.(0.V) = 0.W by RANKNULL:9;
