theorem Th191: :: XXREAL_1:191

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