\begin{definition}[Definition:Bimedial/First Bimedial]
Let $a, b \in \R_{>0}$ be in the forms:
:$a = k^{1/4} \rho$
:$b = k^{3/4} \rho$
where:
: $\rho$ is a rational number
: $k$ is a rational number whose square root is irrational.
Then $a + b$ is a '''first bimedial'''.
{{:Euclid:Proposition/X/37}}
\end{definition}