داریم :
با جمع زدن رابطه آخر برای a , b , c داریم :
اگر
آنگاه
و از آنجایی که :
پس یکی از a , b به p بخشپذیرند پس هر دو بخشپذیرند.
پس فرض میکنیم :
اما میدانیم به ازای p به صورت 6k-1 این معادله همنهشتی جواب دارد اگر و فقط اگر a و b هر دو به p بخشپذیر باشند.