theorem Th33: :: INTEGR19:33

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