theorem Th9: :: TOPALG_6:9

for n being Nat
for p being Point of (TOP-REAL n)
for S being Subset of (TOP-REAL n) st n >= 2 & S = ([#] (TOP-REAL n)) \ {p} holds
(TOP-REAL n) | S is pathwise_connected