for GX being TopSpace
for A, C being Subset of GX st C is connected & C meets A & C \ A <> {} GX holds
C meets Fr A