Euclid, Elements
J. L. Heiberg, Ed.

ἔστωσαν ὁποσαοῦν μεγέθη ἀνάλογον τὰ Α, Β, Γ, Δ,
5ε, Ζ, ὡς τὸ Α πρὸς τὸ Β, οὕτως τὸ Γ πρὸς τὸ Δ, καὶ τὸ Ε πρὸς τὸ Ζ: λέγω, ὅτι ἐστὶν ὡς τὸ Α πρὸς τὸ Β, οὕτως τὰ Α, Γ, Ε πρὸς τὰ Β, Δ, Ζ.

εἰλήφθω γὰρ τῶν μὲν Α, Γ, Ε ἰσάκις πολλαπλάσια τὰ Η, Θ, Κ, τῶν δὲ Β, Δ, Ζ ἄλλα, ἃ ἔτυχεν, ἰσάκις
10πολλαπλάσια τὰ Λ, Μ, Ν.

καὶ ἐπεί ἐστιν ὡς τὸ Α πρὸς τὸ Β, οὕτως τὸ Γ πρὸς τὸ Δ, καὶ τὸ Ε πρὸς τὸ Ζ, καὶ εἴληπται τῶν μὲν Α, Γ, Ε ἰσάκις πολλαπλάσια τὰ Η, Θ, Κ τῶν δὲ Β, Δ, Ζ ἄλλα, ἃ ἔτυχεν, ἰσάκις πολλαπλάσια τὰ Λ, Μ, Ν, εἰ ἄρα ὑπερέχει
15τὸ Η τοῦ Λ, ὑπερέχει καὶ τὸ Θ τοῦ Μ, καὶ τὸ Κ τοῦ Ν, καὶ εἰ ἴσον, ἴσον, καὶ εἰ ἔλαττον, ἔλαττον. ὥστε καὶ εἰ ὑπερέχει τὸ Η τοῦ Λ, ὑπερέχει καὶ τὰ Η, Θ, Κ τῶν Λ, Μ, Ν, καὶ εἰ ἴσον, ἴσα, καὶ εἰ ἔλαττον, ἐλάττονα. καί ἐστι τὸ μὲν Η καὶ τὰ Η, Θ, Κ τοῦ Α καὶ τῶν Α, Γ, Ε
20ἰσάκις πολλαπλάσια, ἐπειδήπερ ἐὰν ᾖ ὁποσαοῦν μεγέθη ὁποσωνοῦν μεγεθῶν ἴσων τὸ πλῆθος ἕκαστον ἑκάστου ἰσάκις πολλαπλάσιον, ὁσαπλάσιόν ἐστιν ἓν τῶν μεγεθῶν ἑνός, τοσαυταπλάσια ἔσται καὶ τὰ πάντα τῶν πάντων. διὰ τὰ αὐτὰ δὴ καὶ τὸ Λ καὶ τὰ Λ, Μ, Ν τοῦ Β καὶ τῶν
25β, Δ, Ζ ἰσάκις ἐστὶ πολλαπλάσια: ἔστιν ἄρα ὡς τὸ Α πρὸς τὸ Β, οὕτως τὰ Α, Γ, Ε πρὸς τὰ Β, Δ, Ζ.

ἐὰν ἄρα ᾖ ὁποσαοῦν μεγέθη ἀνάλογον, ἔσται ὡς ἓν τῶν ἡγουμένων πρὸς ἓν τῶν ἑπομένων, οὕτως ἅπαντα τὰ ἡγούμενα πρὸς ἅπαντα τὰ ἑπόμενα: ὅπερ ἔδει δεῖξαι.