Book 5, Type prop

ἐὰν ᾖ ὡς ὅλον πρὸς ὅλον, οὕτως ἀφαιρεθὲν πρὸς ἀφαιρεθέν, καὶ τὸ λοιπὸν πρὸς τὸ λοιπὸν ἔσται ὡς ὅλον πρὸς ὅλον. ἔστω γὰρ ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ, οὕτως ἀφαιρεθὲν τὸ ΑΕ πρὸς ἀφαιρεθὲν τὸ ΓΖ· λέγω, ὅτι καὶ λοιπὸν τὸ ΕΒ πρὸς λοιπὸν τὸ ΖΔ ἔσται ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ. ἐπεὶ γάρ ἐστιν ὡς τὸ ΑΒ πρὸς τὸ ΓΔ, οὕτως τὸ ΑΕ πρὸς τὸ ΓΖ, καὶ ἐναλλὰξ ὡς τὸ ΒΑ πρὸς τὸ ΑΕ, οὕτως τὸ ΔΓ πρὸς τὸ ΓΖ. καὶ ἐπεὶ συγκείμενα μεγέθη ἀνάλογόν ἐστιν, καὶ διαιρεθέντα ἀνάλογον ἔσται, ὡς τὸ ΒΕ πρὸς τὸ ΕΑ, οὕτως τὸ ΔΖ πρὸς τὸ ΓΖ· καὶ ἐναλλάξ, ὡς τὸ ΒΕ πρὸς τὸ ΔΖ, οὕτως τὸ ΕΑ πρὸς τὸ ΖΓ. ὡς δὲ τὸ ΑΕ πρὸς τὸ ΓΖ, οὕτως ὑπόκειται ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ. καὶ λοιπὸν ἄρα τὸ ΕΒ πρὸς λοιπὸν τὸ ΖΔ ἔσται ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ. ἐὰν ἄρα ᾖ ὡς ὅλον πρὸς ὅλον, οὕτως ἀφαιρεθὲν πρὸς ἀφαιρεθέν, καὶ τὸ λοιπὸν πρὸς τὸ λοιπὸν ἔσται ὡς ὅλον πρὸς ὅλον . . Πόρισμα ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν συγκείμενα μεγέθη ἀνάλογον ᾖ, καὶ ἀναστρέψαντι ἀνάλογον ἔσται· ὅπερ ἔδει δεῖξαι.