theorem :: FUZZY_6:1

for a, b, c being Real st a < b & c > 0 holds
centroid ((AffineMap (0,c)),['a,b']) = (a + b) / 2