theorem
  for V being Subset of GX st V is connected & V<>{} holds Component_of
  V is a_component by Th8;
