theorem
  Vertices K = union the topology of K by Lm5;
