第5問

ステップ4により $Q$ の整数不動点はすべて $P^2$ の不動点であり、ステップ7によりそれらはすべて非零な次数 $n$ の多項式 $F$ の根である。従って $Q(t)=t$ の整数解は高々 $n$ 個であり、証明が完了する。