Commentary on Proposition VII.13¶
Back to Proposition VII.13.
$$ \begin{aligned} \text{If} \quad & a : b = c : d, \\ \text{then, alternately,} \quad & a : c = b : d. \end{aligned} $$
The proposition corresponds to V. 16 for magnitudes, and the proof consists in connecting VII. Def. 20 with the result of VII. 10.