>>78
亀レスｽﾏｿ
> x^3は1にしてx^4はxにしてx^5はx^2にしてx^6は1にする。
> 係数の無限長整数変数はr個だけですむ。

x^3を1としてmodを取っても破綻をきたさない、というのは知られた定理
でいいのれすか？

この論文の主題は最初にrという（比較的小さな）数を短時間に
見つけて、それを既存？の素数判定法に還元できた、ということ
なのでせうか？