theorem Th46: :: XXREAL_2:46

( not REAL is bounded_below & not REAL is bounded_above )