theorem Th16: :: FUZZY_9:16

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