theorem :: XXREAL_1:213

for p being ExtReal st p <> -infty holds
[.p,-infty.] = {}