theorem :: FUZZY_7:4

for p, q, r, s being Real st p < r & r <= s & s < q holds
[.r,s.] c< [.p,q.]