Book 7, Type prop

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