대부분 그냥 델타를 구한 다음에 보이잖아. 구하지 않고도 존재성을 증명 가능한 방법이 없을까? 사이값 정리처럼