let A be Subset of REAL; :: thesis: ( A is closed-interval implies A is bounded )
assume A is closed-interval ; :: thesis: A is bounded
hence ( A is bounded_below & A is bounded_above ) by Th3; :: according to XXREAL_2:def 11 :: thesis: verum