theorem Lm2: :: FUZZY_8:40

for a, b, c, d, r, s, x being Real st a < b & b < c & c < d & r >= 0 & s >= 0 & x in [.a,d.] holds
((((AffineMap ((r / (b - a)),(- ((a * r) / (b - a))))) | ].-infty,b.]) +* ((AffineMap (((s - r) / (c - b)),(s - ((c * (s - r)) / (c - b))))) | [.b,c.])) +* ((AffineMap (((- s) / (d - c)),(- ((d * (- s)) / (d - c))))) | [.c,+infty.[)) . x >= 0