SiF′=f en un setB⊆I, decimos que∫f es exacto encendidoB y llamamos aF un primitivo exacto enB. AsíQ=∅,∫f que si es exacto en todosI. ...SiF′=f en un setB⊆I, decimos que∫f es exacto encendidoB y llamamos aF un primitivo exacto enB. AsíQ=∅,∫f que si es exacto en todosI. Por lo tanto, la configuración queH=fg, tenemosH=∫(fg′+f′g) enI. Por lo tanto por Corolario 1 si∫f′g existe enI, así lo hace∫((fg′+f′g)−f′g)=∫fg′, y