theorem :: XXREAL_3:75

-infty " = 0 ;