Kurs:Zahlentheorie (Osnabrück 2016-2017)/Endliche Körper/Existenz und Eindeutigkeit/Fakt/Faktreferenznummer