theorem Th27: :: CONNSP_1:27

for GX being TopSpace holds
( [#] GX is connected iff GX is connected )