theorem Th193: :: XXREAL_1:193

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