Book 7, Type prop

ἐὰν ἀριθμὸς ὑπό τινος ἀριθμοῦ μετρῆται, ὁ μετρούμενος ὁμώνυμον μέρος ἕξει τῷ μετροῦντι. ἀριθμὸς γὰρ ὁ Α ὑπό τινος ἀριθμοῦ τοῦ Β μετρείσθω· λέγω, ὅτι ὁ Α ὁμώνυμον μέρος ἔχει τῷ Β. ὁσάκις γὰρ ὁ Β τὸν Α μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Γ. ἐπεὶ ὁ Β τὸν Α μετρεῖ κατὰ τὰς ἐν τῷ Γ μονάδας, μετρεῖ δὲ καὶ ἡ Δ μονὰς τὸν Γ ἀριθμὸν κατὰ τὰς ἐν αὐτῷ μονάδας, ἰσάκις ἄρα ἡ Δ μονὰς τὸν Γ ἀριθμὸν μετρεῖ καὶ ὁ Β τὸν Α. ἐναλλὰξ ἄρα ἰσάκις ἡ Δ μονὰς τὸν Β ἀριθμὸν μετρεῖ καὶ ὁ Γ τὸν Α· ὃ ἄρα μέρος ἐστὶν ἡ Δ μονὰς τοῦ Β ἀριθμοῦ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ Γ τοῦ Α. ἡ δὲ Δ μονὰς τοῦ Β ἀριθμοῦ μέρος ἐστὶν ὁμώνυμον αὐτῷ· καὶ ὁ Γ ἄρα τοῦ Α μέρος ἐστὶν ὁμώνυμον τῷ Β. ὥστε ὁ Α μέρος ἔχει τὸν Γ ὁμώνυμον ὄντα τῷ Β· ὅπερ ἔδει δεῖξαι.