(a2 + 1)·(b2 + 1)·(c2 + 1) + (a·b)·(b·c)·(a·c) + (a·c)·(a·b)·(b·c) - (a·c)·(b2 + 1)·(a·c) - (b·c)·(b·c)·(a2 + 1) - (c2 + 1)·(a·b)·(a·b)
= (a2·b2·c2 + a2·b2 + a2·c2 + a2 + b2·c2 + b2 + c2 + 1) + (a2·b2·c2) + (a2·b2·c2) - (a2·b2·c2 + a2·c2) - (a2·b2·c2 + b2·c2) - (a2·b2·c2 + a2·b2)
= a2 + b2 + c2 + 1