f,g:[0,1]→R이 연속함수고 임의의 [0,1]의 원소 t에 대해 [f(t),g(t)]⊆[a,b]를 만족하고 함수 h가 [a,b]에서 리만적분 가능할 때

∫^(g(y))_(f(y)) h(x)dx=F(y)는 [0,1]에서 연속임?

그럴싸하게 증명은 해봤는데 맞는지는 모르겠음.