theorem :: FUZZY_8:47

for a, b, c being Real st a < b & b < c holds
for x being Real st x in [.b,c.] holds
(TriangularFS (a,b,c)) . x = (AffineMap ((- (1 / (c - b))),(c / (c - b)))) . x