theorem Th14: :: XXREAL_3:14

for x being ExtReal st x <> -infty holds
( -infty - x = -infty & x - -infty = +infty )