theorem :: FUZZY_7:37

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