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

    tsimerman's galois lower bound