theorem Th23: :: MEASUR12:23

for A, B being non empty Interval
for p, q, r, s being R_eal st A = ].p,q.[ & B = ].r,s.[ & A misses B holds
not A \/ B is Interval