theorem Th11: :: XXREAL_0:11

not -infty in REAL