theorem Th28: :: EXTREAL1:40

for x being ExtReal holds
( not |.x.| = +infty or x = +infty or x = -infty )