theorem Th224: :: XXREAL_1:224
REAL = ].-infty,+infty.[