thus |.+infty .| = +infty by EXTREAL1:36; :: thesis: |.-infty .| = +infty
- -infty = +infty by XXREAL_3:23;
hence |.-infty .| = +infty by EXTREAL1:37; :: thesis: verum