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