定积分第一中值定理

• the first mean value theorem for definite integrals