 Pure-power reduction of a monic irreducible polynomial

Suppose a Non-Archimedean absolute value extends uniquely to every finite extension. If $f\in {\mathcal{O}}_K[X]$ is monic and irreducible, every root has absolute value at most one: otherwise its leading power dominates all lower terms, contradicting $f(\alpha )=0$ by the ultrametric inequality. In a splitting field, let $\phi$ be the minimal polynomial of an algebraic element of the residue of one root. Lift its coefficients to ${\mathcal{O}}_K$. The lift has absolute value less than one at that root and hence, by equal absolute values of algebraic conjugates, at every root. Consequently every root residue is a zero of $\phi$. Since reduction preserves the product of the linear factors with multiplicities, every irreducible factor of $\overline{f}$ is $\phi$, proving the displayed identity for some $m\ge 1$.