theorem
  A is a_component implies A is closed;
