日がな考えて何がまずいかやっとわかったorzちょー単純な話だった。n_定理1と称していたものは、判定しようとする局面sがn手詰であることを最初に仮定したとき何が起きるかを述べているだけで、sが本当にn手詰局面かどうかについて十分には言及しないすわな…