Book 5, Type prop

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