theorem Th6: :: CONNSP_3:6

for GX being non empty TopSpace
for V, C being Subset of GX st V is connected & C is connected & Component_of V c= C holds
C = Component_of V