17.13 미니맥스 알고리즘의 최적성 증명