theorem Th5: :: CONNSP_3:5

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