theorem Th228: :: XXREAL_1:228

for p, q being ExtReal st p in REAL & q in REAL holds
[.p,q.] c= REAL