Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Endliche Körper/Existenz und Eindeutigkeit/Fakt/Faktreferenznummer