theorem :: CONNSP_2:23

for X being non empty TopSpace
for x being Point of X holds x in qComponent_of x