「先手必勝ではないこと」か「後手必勝ではないこと」なら背理法で証明できそうな気はするがどうなんだろう