theorem
  m is Morphism of Ens(V);
