theorem Th186: :: XXREAL_1:186

for r, s, t being ExtReal st r <= s holds
[.r,t.] \ [.r,s.] = ].s,t.]