先手か後手のどちらかが必ずそうやって引き分けに持ち込むことができることを証明するのは
手間として先手必勝/後手必勝の証明と大して変わらんと思う。