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