theorem :: FUZZY_8:46

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