theorem
  K is finite-vertices implies the topology of K is finite by Lm6;
