theorem Th5: :: XXREAL_3:5

- -infty = +infty by Def3;