theorem :: XXREAL_3:74

+infty " = 0 ;