帰納法の部分は特に問題ないんですかね
帰納法ってよくドミノ倒しに例えられますけど、>>186は僕の感覚だとドミノが枝分かれしてる気がしたんです。
つまり、p(k)の盤面を必勝と仮定しても、p(k−1)の盤面ではp(k)の盤面になる手を指すとは限らないから、
それだとp(k)を仮定したことと繋がらない…？無視できる？って混乱中です