Proportional Numbers are Proportional Alternately

Proof
Let the four (natural) numbers $A, B, C, D$ be proportional so that $A : B = C : D$.

We need to show that $A : C = B : D$.


 * Euclid-VII-13.png

We have that $A : B = C : D$.

So from we have that whatever aliquot part or aliquant part $A$ is of $B$, the same aliquot part or aliquant part is $C$ of $D$.

So from, whatever aliquot part or aliquant part $A$ is of $C$, the same aliquot part or aliquant part is $B$ of $D$.

Therefore from $A : C = B : D$.