a3(c - b2) + b3(a - c2) + c3(b - a2) + abc(abc - 1)
= a3c - a3b2 + ab3 - b3c2 + bc3 - a2c3 + a2b2c2 - abc
= a2b2c2 - b3c2 - (a2c3 - bc3) - (a3b2 - ab3) + (a3c - abc)
= b2c2(a2 - b) - c3(a2 - b) - ab2(a2 - b) + ac(a2 - b)
= (a2 - b)(b2c2 - c3 - ab2 + ac) = (a2 - b)[c2(b2 - c) - a(b2 - c)] = (a2 - b)(b2 - c)(c2 - a)