$n$を自然数とし，整式$x^n$を整式$x^2-2x-1$で割った余りを$ax+b$とする．このとき$a$と$b$は整数であり，さらにそれらをともに割り切る素数は存在しないことを示せ．