theorem Th38: :: CONNSP_1:38

for GX being non empty TopSpace
for x being Point of GX holds x in Component_of x