Si una primera magnitud guarda con una segunda la misma razón que una tercera con una cuarta, y una quinta guarda con la segunda la misma razón que la sexta con la cuarta, la primera y la quinta, tomadas juntas, guardarán también la misma razón con la segunda que la tercera y la sexta con la cuarta.
Sea pues
Dado que
Q. E. D.