theorem :: XXREAL_3:75
-infty " = 0 ;