theorem :: INTEGR26:38

for f being PartFunc of REAL,REAL
for a, b being Real holds integral (f,b,a) = - (integral (f,a,b))