Positive Real has Real Square Root

Theorem
Let $x$ be a positive real number.

Then:
 * $\forall x \in \R_{>0}: \exists y: x = y^2$

Proof
Let $f: \R \to \R$.

By Power Function is Continuous, $f$ is continuous.

By Power Function is Unbounded Above:
 * $\exists q \in \R: f \left({q}\right) > x$

Then:
 * $0^2 = 0 \le x$

By the Intermediate Value Theorem:
 * $\exists y \in \R: 0 < y < q: y^2 = x$