Si hay tres magnitudes y otras iguales a ellas en número que, tomadas de dos en dos, guardan la misma razón, y su proporción es perturbada, por igualdad guardarán también la misma razón.
Sean A, B, C tres magnitudes y D, E, F otras iguales a ellas en número que, tomadas de dos en dos, guarden la misma razón y sea su proporción perturbada, es decir que y .
Digo que .
Tómense los equimúltiplos G=mA, H=mB, K=mD de A, B, D y otros equimúltiplos tomados al azar L=nC, M=nE, N=nF de C, E, F .
Y dado que G, H son equimúltiplos de A, B y las partes guardan la misma razón que sus mismos múltiplos [Prop. V.15], entonces . Por la misma razón, ; ahora bien, ; entonces [Prop. V.11]. Y dado que, como , también, por alternancia, [Prop. V.16]. Y puesto que H, K son equimúltiplos de B, D, y las partes guardan la misma razón que sus equimúltiplos, entonces [Prop. V.15]. Ahora bien, ; luego también [Prop. V.11].
A su vez, dado que L, M son equimúltiplos de C, E, entonces, [Prop. V.15]. Ahora bien, ; luego también [Prop. V.11]; y, por alternancia, [Prop. V.16]. Pero se ha demostrado también que .
Así pues, dado que G, H, L son tres magnitudes y K, M, N otras iguales a ellas en número que, tomadas de dos en dos, guardan la misma razón, y su proporción es perturbada, entonces, por igualdad, según sea G ≷ L, será K ≷ N [Prop. V.21]. Pero G, K son equimúltiplos de A, D, y L, N de C, F. Por tanto, .