투포인터는 유효한 구간에 대한 완전탐색이다의 증명