theorem Th5: :: INTEGRA4:5

for A being non empty closed_interval Subset of REAL
for r being Real ex f being Function of A,REAL st
( rng f = {r} & f | A is bounded )