Fundamentals of number theory: Book 7 Proposition 6
Translations
Ἐὰν ἀριθμὸς ἀριθμοῦ μέρη ᾖ, καὶ ἕτερος ἑτέρου τὰ αὐτὰ μέρη ᾖ, καὶ συναμφότερος συναμφοτέρου τὰ αὐτὰ μέρη ἔσται, ὅπερ ὁ εἷς τοῦ ἑνός. Ἀριθμὸς γὰρ ὁ ΑΒ ἀριθμοῦ τοῦ Γ μέρη ἔστω, καὶ ἕτερος ὁ ΔΕ ἑτέρου τοῦ Ζ τὰ αὐτὰ μέρη, ἅπερ ὁ ΑΒ τοῦ Γ: λέγω, ὅτι καὶ συναμφότερος ὁ ΑΒ, ΔΕ συναμφοτέρου τοῦ Γ, Ζ τὰ αὐτὰ μέρη ἐστίν, ἅπερ ὁ ΑΒ τοῦ Γ. Ἐπεὶ γάρ, ἃ μέρη ἐστὶν ὁ ΑΒ τοῦ Γ, τὰ αὐτὰ μέρη καὶ ὁ ΔΕ τοῦ Ζ, ὅσα ἄρα ἐστὶν ἐν τῷ ΑΒ μέρη τοῦ Γ, τοσαῦτά ἐστι καὶ ἐν τῷ ΔΕ μέρη τοῦ Ζ. διῃρήσθω ὁ μὲν ΑΒ εἰς τὰ τοῦ Γ μέρη τὰ ΑΗ, ΗΒ, ὁ δὲ ΔΕ εἰς τὰ τοῦ Ζ μέρη τὰ ΔΘ, ΘΕ: ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΑΗ, ΗΒ τῷ πλήθει τῶν ΔΘ, ΘΕ. καὶ ἐπεί, ὃ μέρος ἐστὶν ὁ ΑΗ τοῦ Γ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΔΘ τοῦ Ζ, ὃ ἄρα μέρος ἐστὶν ὁ ΑΗ τοῦ Γ, τὸ αὐτὸ μέρος ἐστὶ καὶ συναμφότερος ὁ ΑΗ, ΔΘ συναμφοτέρου τοῦ Γ, Ζ. διὰ τὰ αὐτὰ δὴ καὶ ὃ μέρος ἐστὶν ὁ ΗΒ τοῦ Γ, τὸ αὐτὸ μέρος ἐστὶ καὶ συναμφότερος ὁ ΗΒ, ΘΕ συναμφοτέρου τοῦ Γ, Ζ. ἃ ἄρα μέρη ἐστὶν ὁ ΑΒ τοῦ Γ, τὰ αὐτὰ μέρη ἐστὶ καὶ συναμφότερος ὁ ΑΒ, ΔΕ συναμφοτέρου τοῦ Γ, Ζ: ὅπερ ἔδει δεῖξαι.
If a number be parts of a number, and another be the same parts of another, the sum will also be the same parts of the sum that the one is of the one. For let the number AB be parts of the number C, and another, DE, the same parts of another, F, that AB is of C; I say that the sum of AB, DE is also the same parts of the sum of C, F that AB is of C. For since, whatever parts AB is of C, DE is also the same parts of F, therefore, as many parts of C as there are in AB, so many parts of F are there also in DE. Let AB be divided into the parts of C, namely AG, GB, and DE into the parts of F, namely DH, HE; thus the multitude of AG, GB will be equal to the multitude of DH, HE. And since, whatever part AG is of C, the same part is DH of F also, therefore, whatever part AG is of C, the same part also is the sum of AG, DH of the sum of C, F. [VII. 5] For the same reason, whatever part GB is of C, the same part also is the sum of GB, HE of the sum of C, F.