theorem :: FUZZY_5:86

for a, b, c being Real st a < b & b < c holds
TriangularFS (a,b,c) is Lipschitzian