theorem
  a..W is Element of V.W;
