(x - y).z3 + (y - z).x3 + (z - x).y3
= z3(x - y) + x3y - x3z + y3z - xy3
= z3(x - y) + xy(x2 - y2) - z(x3 - y3)
= z3(x - y) + xy(x - y)(x + y) - z(x - y)(x2 + xy + y2)
= (x - y)(z3 + x2y + xy2 - x2z - xyz - y2z)
= (x - y)[z(z2 - x2) + xy(x - z) + y2(x - z)]
= (x - y)[z(z - x)(z + x) - xy(z- x) - y2(z - x)]
= (x - y)(z - x)(z2 + xz - xy - y2)
= (x - y)(z - x)[(y - z)(y + z) - x(y - z)]
= (x - y)(z - x)(y - z)(y + z - x)