theorem :: NEWTON02:98

for t being Integer
for a, b, c being odd Nat holds 3 divides ((t |^ a) + (t |^ b)) + (t |^ c)