Diskreter Bewertungsring/Normiertes Polynom/Ableitungsbedingung/Normal/Fakt/Beweis