Euclid Elementa 7.prop.10

ἐὰν ἀριθμὸς ἀριθμοῦ μέρη ᾖ, καὶ ἕτερος ἑτέρου τὰ αὐτὰ μέρη ᾖ, καὶ ἐναλλάξ, ἃ μέρη ἐστὶν ὁ πρῶτος τοῦ τρίτου ἢ μέρος, τὰ αὐτὰ μέρη ἔσται καὶ ὁ δεύτερος τοῦ τετάρτου ἢ τὸ αὐτὸ μέρος.

ἀριθμὸς γὰρ ὁ ΑΒ ἀριθμοῦ τοῦ Γ μέρη ἔστω, καὶ ἕτερος ὁ ΔΕ ἑτέρου τοῦ Ζ τὰ αὐτὰ μέρη· λέγω, ὅτι καὶ ἐναλλάξ, ἃ μέρη ἐστὶν ὁ ΑΒ τοῦ ΔΕ ἢ μέρος, τὰ αὐτὰ μέρη ἐστὶ καὶ ὁ Γ τοῦ Ζ ἢ τὸ αὐτὸ μέρος.

ἐπεὶ γάρ, ἃ μέρη ἐστὶν ὁ ΑΒ τοῦ Γ,
τὰ αὐτὰ μέρη ἐστὶ καὶ ὁ ΔΕ τοῦ Ζ, ὅσα ἄρα ἐστὶν ἐν τῷ ΑΒ μέρη τοῦ Γ, τοσαῦτα καὶ ἐν τῷ ΔΕ μέρη τοῦ Ζ. διῃρήσθω ὁ μὲν ΑΒ εἰς τὰ τοῦ Γ μέρη τὰ ΑΗ, ΗΒ, ὁ δὲ ΔΕ εἰς τὰ τοῦ Ζ μέρη τὰ ΔΘ, ΘΕ· ἔσται
δὴ ἴσον τὸ πλῆθος τῶν ΑΗ, ΗΒ τῷ πλήθει τῶν ΔΘ, ΘΕ. καὶ ἐπεί, ὃ μέρος ἐστὶν ὁ ΑΗ τοῦ Γ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΔΘ τοῦ Ζ, καὶ ἐναλλάξ, ὃ μέρος ἐστὶν ὁ ΑΗ τοῦ ΔΘ ἢ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ Γ τοῦ Ζ ἢ τὰ αὐτὰ μέρη. διὰ τὰ αὐτὰ δὴ
καί, ὃ μέρος ἐστὶν ὁ ΗΒ τοῦ ΘΕ ἢ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ Γ τοῦ Ζ ἢ τὰ αὐτὰ μέρη· ὥστε καί ὃ μέρος ἐστὶν ὁ ΑΗ τοῦ ΔΘ ἢ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΗΒ τοῦ ΘΕ ἢ τὰ αὐτὰ μέρη· καὶ ὃ ἄρα μέρος ἐστὶν ὁ ΑΗ τοῦ ΔΘ ἢ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΑΒ τοῦ
ΔΕ ἢ τὰ αὐτὰ μέρη· ἀλλʼ ὃ μέρος ἐστὶν ὁ ΑΗ τοῦ ΔΘ ἢ μέρη, τὸ αὐτὸ μέρος ἐδείχθη καὶ ὁ Γ τοῦ Ζ ἢ τὰ αὐτὰ μέρη, καὶ ἃ ἄρα μέρη ἐστὶν ὁ ΑΒ τοῦ ΔΕ ἢ μέρος, τὰ αὐτὰ μέρη ἐστὶ καὶ ὁ Γ τοῦ Ζ ἢ τὸ αὐτὸ μέρος· ὅπερ ἔδει δεῖξαι.