theorem Th11: :: BORSUK_5:12

for a, b, c being Real st a <= c & c <= b holds
].-infty,c.] \/ [.a,b.] = ].-infty,b.]