theorem
  for A,B being Subset of TOP-REAL n st B is bounded & A c= B
  holds A is bounded by RLTOPSP1:42;
