Fundamental theorem of calculus/Riemann/Fact/Proof