Between two Similar Solid Numbers exist two Mean Proportionals

Proof
Let $m$ and $n$ be similar solid numbers.

Then for some $a, b, c, d, e, f \in \Z$ such that $a \le b \le c$ and $d \le e \le f$:


 * $m = a b c$
 * $n = d e f$

such that:
 * $\dfrac a d = \dfrac b e = \dfrac c f$

Let:
 * $r := a e = b d = b f = c e$

So:

and:

Thus by definition, $\left({a b, r, d e}\right)$ is a geometric progression.

By definition, $r$ is a mean proportional between $a b$ and $d e$.