newton - Leibinzi valem:Kui f ϵ C[a; b] ja F on funktsiooni f mingi algfunktsioon sellel lõigul, siis b φ( x ) saamegi jällegi f ( t ) dt=¿∫ ¿ ∫ f ( x ) dx=F ( b )−F ( a )=F ( x ) ⎹ ba a ∫¿ Tõestus:Kuna fϵ C[a; b], siis G´(x) = f (x), seega G on f mingi algfunktsioon ja 6.Ositi integreerimine.