Es ist
die Vorzeichen sind also der Reihe nach
Ihr Produkt ist 1 {\displaystyle {}1} , und mit dem Gaußschen Vorzeichenlemma folgt, dass 3 {\displaystyle {}3} ein Quadratrest modulo 13 {\displaystyle {}13} ist. In der Tat ist