Достаточно рассмотреть остатки, которые могут давать кубы при делении на :
Взяв уравнение по модулю , получим , противоречие.
Достаточно рассмотреть остатки, которые могут давать кубы при делении на
: ![1^{3}\equiv 1 \mod 7,\; 2^3\equiv 1\mod 7,\; 3^3\equiv 6 \mod 7,\; 4^3\equiv 1\mod 7,\\ 5^3 \equiv 6 \mod 7,\; 6^3\equiv 6 \mod 7](/tpl/images/4768/7877/d8c69.png)
Взяв уравнение по модулю
, получим
, противоречие.