【定理】存在一个下棋方法（策略），使得一方一定不败。这个存在性定理很容易证明，但要找到这个下棋方法（策略）很难。