Beweis
Es sei zunächst
,
sodass
nach Fakt
ist und als Primteiler
der Diskriminante
und die Teiler von
in Frage kommen. Es ist
-
![{\displaystyle {}A_{D}/(p)=(\mathbb {Z} [X]/(X^{2}-D)/(p))=(\mathbb {Z} /(p))[X]/{\left(X^{2}-D\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1be47f2b21a67c205e13abcf43616dbe94c8807)
Bei
steht hier
und dieser Ring hat das einzige Primideal
mit
.
Diesem Primideal entspricht in
das Primideal
.
Es ist
.
Einerseits gilt für
im Faserring modulo
die Beziehung
,
woraus
folgt. Andererseits ist
(in
)
mit
.
Da
quadratfrei ist, ist
teilerfremd zu
und daher kann man mit
schreiben
-

Bei
gilt in
die Beziehung
,
sodass eine analoge Situation vorliegt.
Es sei jetzt
und sei
ein Primteiler von
.
Es ist
-
![{\displaystyle {}A_{D}/(p)={\left(\mathbb {Z} [\omega ]/{\left(\omega ^{2}-\omega -{\frac {D-1}{4}}\right)}\right)}/(p)=(\mathbb {Z} /(p))[\omega ]/{\left(\omega ^{2}-\omega -{\frac {D-1}{4}}\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0df30a9ee867e0fdbccd51a6d31a98546dda36bc)
Da
ungerade ist, ist
eine Einheit in
, sodass man die Gleichung modulo
als
-

schreiben kann, sodass wieder eine analoge Situation vorliegt.