theorem :: FUZZY_9:22

for a, b, c being Real st a < b & b < c holds
integral ((TriangularFS (a,b,c)) | ['a,c']) = (c - a) / 2