theorem Th19: :: JORDAN2C:28

for n being Nat
for P being Subset of (TOP-REAL n) st P = REAL n holds
P is connected