theorem :: CONNSP_1:33

for GX being TopSpace
for A being Subset of GX st A is a_component holds
A is closed ;