:D

  1. p = 1 mod 4 implies p = x^2 + y^2.

  2. nagell-lutz.

  3. conjugacy of maximal tori.

  4. quadratic reciprocity.

  5. every ideal in o_K is generated by two elements.