theorem Th4: :: INTEGRA4:4

for A being non empty closed_interval Subset of REAL
for f being Function of A,REAL
for r being Real st rng f = {r} holds
( f is integrable & integral f = r * (vol A) )