theorem Th84: :: XXREAL_3:84

for y being ExtReal st y < 0 & -infty <> y holds
-infty / y = +infty