theorem
  A is Object of Ens(V);
