초기값 문제와 존재 정리