四条都能回来

白走一步，黑走一步，白再走一步。终局里，黑马从 g8 到了 f6，白方的棋子全回到原处。若只看这张静止的棋盘，白方的两步至少有四种完整走法：

g1 → h3 → g1
g1 → f3 → g1
b1 → c3 → b1
b1 → a3 → b1

它们没有吃子，也不需要任何例外规则：任选一匹白马，跳到一个空格，再原路返回；黑马在中间那步抵达 f6。四段动作都合法，终局也逐格相同。棋局短到只容得下白方两次行动，却仍没有替经过的路线留下区别。棋盘上看不出哪匹马刚刚出过门。

另一则三回合半的证明局把问题收得更紧。它预先给出终局：白方的 e 兵在 e3，白象在 g6；黑方的 h 兵到了 h4，f 兵到了 f5。从开局起，白走四步、黑走三步，双方轮流，必须恰好抵达这张棋面。

前两回合很自然：白兵走到 e3，黑兵从 h7 一步到 h5；白象沿刚让出的斜线走到 d3，黑兵再由 h5 到 h4。白方还剩两步，象离 g6 也像是只差两步。e4 正在通往 g6 的斜线上：象先从 d3 到 e4，下一步再到 g6，距离一格不多。

但那两步并不相邻。象停在 e4 后，轮到黑方；f 兵从 f7 落到 f5。它恰好占住 e4 与 g6 之间必须经过的格子。刚才还完整的第二步，不是被重新判断为错误，而是在等待的一回合里才变得不合法。若让象从 d3 朝另一边寻找空间，第一格 c2 又一直站着自己的白兵。

这盘棋于是给出一个与前一盘相反的压力：不是路线越短，经过就越容易确定。四次白马往返已经说明，步数少并不自动减少走法；白象这边，恰好两步的近路反而承受不了中间那次黑方行动。要让它抵达，不能把目标格当作尽快停下的地方，必须趁 f5 尚空时先穿过去。

白兵先让出斜线，黑方把 h 兵推到 h5。象走到 d3，h 兵再从 h5 到 h4。象沿斜线越过尚空的 f5，也越过终点 g6，走到 h7。随后 f 兵落在 f5，象从 h7 退回 g6。