theorem Th5: :: FUZZY_9:6

for a, b, c, d being Real st a < b & b < c & c < d holds
(REAL \ ].a,d.[) /\ [.b,c.] = {}