theorem Th19: :: XXREAL_3:19

for x, y being ExtReal holds
( not x - y = -infty or x = -infty or y = +infty )