theorem Th41: :: INTEGR19:41

for n being Element of NAT
for A being non empty closed_interval Subset of REAL
for f being Function of A,(REAL n)
for g being Function of A,(REAL-NS n) st f = g & f is bounded holds
( f is integrable iff g is integrable )