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