Main theorem of calculus/Riemann/Newton-Leibniz-formula/Fact/Proof