>>730
有理数係数の1次関数がf(x)を横切れば矛盾が出るという単純な発想を
数式化しただけ