1The method given here assumes the existence of an algebraic closure of Fp. This is contingent upon the axiom of choice. However, there are other ways to prove the same results without using the axiom of choice, see [IR90, Chapter 7].