Since $x_1, \ldots, x_N \in \mathbb{R}^D$, then $|x_1|, \ldots, |x_N| \in [0, \infty)$. Thus, this result is a consequence of R4728: . $\square$