theorem Th39: :: XXREAL_2:39

sup {} = -infty