m,nは非負の整数の定数とし、
f_[0](x)=x^2-mx+n
f_[n+1](x)={f_[n](x)}^2-m{f_[n](x)}+n
とする。
ある整数pが存在し、任意の非負整数kに対して等式
f_[k](p)=0
が成り立つようにm,nを定めよ。