theorem :: JORDAN21:1

for n being Element of NAT
for p being Point of (TOP-REAL n) holds {p} is bounded