theorem :: BORSUK_5:10

for A, B being Subset of R^1
for a, b, c, d being Real st a < b & b <= c & c < d & A = [.a,b.[ & B = ].c,d.] holds
A,B are_separated