theorem Th10: :: BORSUK_5:11

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