theorem :: CONNSP_3:9

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