Целые числа a b и c таковы что они делится на 7.
Пусть a не делится на 7. Тогда по малой теореме Ферма (a³ – 1)(a³ + 1) = a6 – 1 делится на 7.
Значит, одно из чисел a³ – 1, a³ + 1 делится на 7, то есть
a³ ≡ ±1 (mod 7).
То же верно для чисел b³ и c³. Но сумма трёх чисел вида ±1 не делится на 7.
