Es sei B {\displaystyle {}B} ein diskreter Bewertungsring. Zu einem von 0 {\displaystyle {}0} verschiedenen Polynom P ∈ B [ X ] {\displaystyle {}P\in B[X]} sei ord ( P ) {\displaystyle {}\operatorname {ord} (P)} die minimale Ordnung der Koeffizienten von P {\displaystyle {}P} . Zeige
![{\displaystyle {}P\in B[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a12741be4136b85096d4c7551b6debbfcdf52d0b)
