theorem Th37: :: XXREAL_2:37

for x being ExtReal holds x is UpperBound of {}