>>199
p(k)はk手まで指したときに現れる全ての盤面を集めた集合
なので、p(k-1)から1つ盤面を選ぶとき、その盤面からもう一手指すことで得られる全ての盤面はp(k)に含まれている
だから問題ないと思います