네 괜찮습니다. 마지막에 증명을 하고자 했던 'ʃ(a~b):f(x)dx=(b-a)f(c) (a⩽c⩽b)를 만족시키는 c가 적어도 하나 존재한다.' 를 써주시면 더 좋을 것 같습니다.