theorem Th27: :: CONNSP_1:27
for GX being TopSpace holds
( [#] GX is connected iff GX is connected )