\] Let $\lambda_0{\leqslant}\dotsb{\leqslant}\lambda_d$ be the successive minima of a nonzero ideal ${\mathfrak{n}}\subset{\mathfrak{o}}$ embedded as a lattice in $k\otimes_{\mathbb{Q}}{\mathbb{R}}$. Then for all $m\in\{0,\dotsc,d