:D
p = 1 mod 4 implies p = x^2 + y^2
.
nagell-lutz
.
conjugacy of maximal tori
.
quadratic reciprocity
.
every ideal in o_K is generated by two elements
.