Kreisteilungskörper/Primzahlpotenz/Einheitswurzel/Diskriminante/Fakt/Beweisverweis

Dies wird ähnlich wie Fakt bewiesen.