有理係数の非定数一次多項式は有理数を有理数へ写す。無理数入力で出力が有理数なら x=(f(x)-b)/a により入力も有理数となり矛盾する。定数多項式は無理数入力で混合点を作る。よってこれらが全てである。