
theorem
  for V be non empty MetrStruct holds id(V) is onto isometric;
