theorem Th14: :: BORSUK_4:17

for A, B being Subset of I[01]
for a, b, c being Real st a < b & b < c & A = [.a,b.[ & B = ].b,c.] holds
A,B are_separated