theorem :: FUZZY_6:32

for A being non empty closed_interval Subset of REAL
for r being Real
for f being Function of REAL,REAL st r <> 0 & f is_integrable_on A & f | A is bounded holds
centroid ((r (#) f),A) = centroid (f,A)