18.8 알파-베타 가지치기의 정확성 증명: 미니맥스 값 보존