Fundamental theorem of calculus/Riemann/Fact