theorem Th36: :: COUSIN:45

for r being Real holds
( upper_bound {r} = r & lower_bound {r} = r )