17.24 네가맥스와 미니맥스의 수학적 동치성 증명