SiF^{\prime}=f en un setB \subseteq I, decimos que\int f es exacto encendidoB y llamamos aF un primitivo exacto enB. AsíQ=\emptyset, \int f que si es exacto en todosI. ...SiF^{\prime}=f en un setB \subseteq I, decimos que\int f es exacto encendidoB y llamamos aF un primitivo exacto enB. AsíQ=\emptyset, \int f que si es exacto en todosI. Por lo tanto, la configuración queH=f g, tenemosH=\int\left(f g^{\prime}+f^{\prime} g\right) enI. Por lo tanto por Corolario 1 si\int f^{\prime} g existe enI, así lo hace\int\left(\left(f g^{\prime}+f^{\prime} g\right)-f^{\prime} g\right)=\int f g^{\prime}, y
