Let $x_1, \ldots, x_N \in \mathbb{R}^D$ each be a D4924: Euclidean real number.
Let $p \in (0, \infty)$ be a D5407: Positive real number.

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$