theorem Th14: :: MEASUR12:14

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