theorem
  a is Element of V;
