theorem Th20: :: JORDAN2C:33

for n being Nat
for W being Subset of (Euclid n) st n >= 1 & W = REAL n holds
not W is bounded