theorem
  for GX being non empty TopSpace, A being Subset of GX st
  A is a_component holds A <> {}GX;
