theorem Th6: :: XXREAL_3:6

- +infty = -infty by Def3;