Since E is the same multiple of A that F is of C,
and equimultiples K, L of E, F have been taken,
therefore K is the same multiple of A that L is of C. [V. 3]
For the same reason M is the same multiple of B that N is of D.
And, since, as A is to B, so is C to D, and of A, C equimultiples K, L have been taken, and of B, D other, chance, equimultiples M, N,
therefore, if K is in excess of M, L also is in excess of N, if it is equal, equal, and if less, less. [V. Def. 5]
And K, L are equimultiples of E, F, and M, N other, chance, equimultiples of G, H;
therefore, as E is to G, so is F to H. [V. Def. 5]