Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Endliche Menge/Gleiche Anzahl/Injektiv ist surjektiv/Fakt/Faktreferenznummer