theorem Th1947: :: INTEGR21:14

for a, b being Real
for Y being RealBanachSpace
for f being PartFunc of REAL, the carrier of Y st a <= b & ['a,b'] c= dom f holds
integral (f,b,a) = - (integral (f,a,b))