theorem Th11: :: CONNSP_3:11

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