명제 : 닫힌 구간 [a,b]에서 연속인 f에 대해 f(a)<0, f(b)>0이면
다음을 만족하는 c(a<c<b)가 존재한다.
"적당한 양수 c'에 대해 열린 구간 (c-c',c)에서 f<0, (c,c+c')에서 f>0"
(단, f는 상수함수인 구간이 없음)

이거 증명하는데 완비성이랑 축소 구간 정리 썼는데 좀 더 간결하게 증명하는 법 있나요?