theorem Th19: :: EXTREAL1:30
( |.+infty.| = +infty & |.-infty.| = +infty )