Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
On the one hand, let j0∈{0,…,d}j_{0}\in\{0,\dots,d\} be an index such that rj0r_{j_{0}} is minimal. By taking κj=0\kappa_{j}=0 for j≠j0j\neq j_{0} and κj0=1\kappa_{j_{0}}=1, one sees that
On the other hand, by the ultrametricity of |⋅|K\lvert\mathord{\cdot}\rvert_{K}, if ∑jκj=1\sum_{j}\kappa_{j}=1, then there exist at least one j1∈{0,…,d}j_{1}\in\{0,\dots,d\} such that |κj1|≥1\lvert\kappa_{j_{1}}\rvert\geq 1, so
Hence the two sides are equal. ∎
225 source-bound objects; statement and proof tags appear beside their original text.