theorem Th6: :: FUZZY_9:21

for a, b, c, r being Real
for f being Function of REAL,REAL st a < b & b < c & ( for x being Real holds f . x = (r (#) (TriangularFS (a,b,c))) . x ) holds
integral (f,['a,c']) = (r * (c - a)) / 2