Existence and Uniqueness of Positive Root of Positive Real Number/Positive Exponent

Theorem
Let $x \in \R$ be a real number such that $x \ge 0$.

Let $n \in \Z$ be an integer such that $n > 0$.

Then there always exists a unique $y \in \R: \paren {y \ge 0} \land \paren {y^n = x}$.