Es sei
Wegen der Kongruenzbedingung
ist − 1 {\displaystyle {}-1} modulo 3 {\displaystyle {}3} und modulo 7 {\displaystyle {}7} gemäß Fakt kein Quadrat. Somit ist