theorem :: FUZZY_6:5

for A being non empty closed_interval Subset of REAL
for f being Function of REAL,REAL st ( for x being Real st x in A holds
f . x = 0 ) holds
integral (f,A) = 0