Denote E=ab2+bc2+ca2−a2b−b2c−c2a. We have
E=(abc−c2a)+(ca2−a2b)+(bc2−b2c)+(ab2−abc)=(b−c)(ac−a2−bc+ab)=(b−c)(a(c−a)−b(c−a))=(b−c)(c−a)(a−b)
So, ∣E∣=∣a−b∣⋅∣b−c∣⋅∣c−a∣. By hypothesis each factor from ∣E∣ is a positive integer. We shall prove that at least one factor from ∣E∣ is greater than 1. Suppose that ∣a−b∣=∣b−c∣=∣c−a∣=1. It follows that the numbers a−b,b−c,c−a are odd. So, the number 0=(a−b)+(b−c)+(c−a) is also odd, a contradiction. Hence, ∣E∣≥1⋅1⋅2=2.