theorem Lm21: :: FUZZY_7:35

for a, b, c being Real st a < b & b < c & b - a = c - b holds
centroid ((TriangularFS (a,b,c)),['a,c']) = b