theorem Th47: :: JORDAN2C:62

for n being Nat
for W being Subset of (Euclid n)
for a being Real st n >= 2 & W = (REAL n) \ { q where q is Point of (TOP-REAL n) : |.q.| < a } holds
not W is bounded