theorem :: CONNSP_2:26

for X being non empty TopSpace
for x being Point of X holds Component_of x c= qComponent_of x