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

cyclotomic polynomials are irreducible

Liouville