theorem Th48: :: MESFUN14:48

for f being PartFunc of REAL,REAL st f is_integrable_on B-Meas holds
( f is_integrable_on L-Meas & Integral (B-Meas,f) = Integral (L-Meas,f) )