theorem Th196: :: XXREAL_1:196

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