theorem Th29: :: XXREAL_1:29

for p, q being ExtReal st p < q holds
[.q,p.] = {}