theorem :: TOPREAL6:90

for n being Nat
for A, B being Subset of (TOP-REAL n) st not A is bounded & B is bounded holds
not A \ B is bounded