theorem Th19: :: EXTREAL1:30

( |.+infty.| = +infty & |.-infty.| = +infty )