Of A, B, D let equimultiples G, H, K be taken, and of C, E, F other, chance, equimultiples L, M, N.

Then, since G, H are equimultiples of A, B, and parts have the same ratio as the same multiples of them, [V. 15] therefore, as A is to B, so is G to H.

For the same reason also, as E is to F, so is M to N. And, as A is to B, so is E to F; therefore also, as G is to H, so is M to N. [V. 11]

Next, since, as B is to C, so is D to E, alternately, also, as B is to D, so is C to E. [V. 16]

And, since H, K are equimultiples of B, D, and parts have the same ratio as their equimultiples, therefore, as B is to D, so is H to K. [V. 15]

But, as B is to D, so is C to E; therefore also, as H is to K, so is C to E. [V. 11]

Again, since L, M are equimultiples of C, E, therefore, as C is to E, so is L to M. [V. 15]

But, as C is to E, so is H to K; therefore also, as H is to K, so is L to M, [V. 11] and, alternately, as H is to L, so is K to M. [V. 16]

But it was also proved that, as G is to H, so is M to N.

Since, then, there are three magnitudes G, H, L, and others equal to them in multitude K, M, N, which taken two and two together are in the same ratio, and the proportion of them is perturbed, therefore, ex aequali, if G is in excess of L, K is also in excess of N; if equal, equal; and if less, less. [V. 21]

And G, K are equimultiples of A, D, and L, N of C, F.

Therefore, as A is to C, so is D to F.

Therefore etc. Q. E. D.