>>429
a^3b-ab^3+b^3c-bc^3+c^3a-ca^3
＝a^3(b-c)-a(b^3-c^3)+bc(b^2-c^2)
と変形したなら、ここで与式をaの多項式として考えると
b、cを共にaで置換して考えると与式は0になるから、
因数定理により与式はa-b、a-cの両方を因数に持つ。
よって与式はa-b、a-cで割り切れる。
そこでaの多項式の形に変形した与式をa-b、a-cで割り算する。
それ以降もaの多項式として考えていって変形する。