Рассмотрим главный случай

.

Рассматриваем эту делимость по модулям

,

и

и получаем, что

Из

следует, что

и

. Поэтому символы

и

не могут оба быть равны единице, так как их произведение равно -1.
А если рассматривать кубы вместо пятых степеней, то требование простоты можно убрать: не существует натуральных

,

,

, для которых

Доказывается это похожим образом через символы Якоби.