分母多項式の実根が m>2n を排除する。
m>nm>nm>n は明らかである。m>2nm>2nm>2n と仮定し、rn+r2=1r^n+r^2=1rn+r2=1 を満たす 0<r<10<r<10<r<1 を取る。整除性から rm+r−1=0r^m+r-1=0rm+r−1=0 だが、r>3/4r>3/4r>3/4 かつ rm<r2n=(1−r2)2<1−rr^m<r^{2n}=(1-r^2)^2<1-rrm<r2n=(1−r2)2<1−r なので矛盾する。従って undefined。