Mean value theorem for definite integrals/Riemann/Fact