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