theorem Th6: :: FUZZY_7:1

for a, b, c, d being Real st a < b & b < c & c < d holds
['a,d'] \ ['b,c'] c= ['a,b'] \/ ['c,d']