theorem :: FUZZY_8:48

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