theorem Th46: :: JORDAN2C:61

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