theorem :: FUZZY_7:3

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