theorem
  a.W is Vector of V/W;
