根据策梅洛定理,中国象棋是不是应该红方必胜或必和棋(看补充)?