theorem Th50: :: INTEGR25:50

for f being PartFunc of REAL,REAL
for r being Real st dom f = REAL & f is_improper_integrable_on_REAL holds
( - f is_improper_integrable_on_REAL & improper_integral_on_REAL (- f) = - (improper_integral_on_REAL f) )