>>726
x^2 = zx+6 を使って字数下げを行うと
(x^3) (z + 6 ) (z - 2)^2
みたいな式に辿り着く
力づくの計算。