theorem :: CONNSP_3:4

for GX being non empty TopSpace
for V being Subset of GX st V is connected holds
Component_of V <> {}