Euclid, Elements
J. L. Heiberg, Ed.

ἔστω ὁποσαοῦν μεγέθη τὰ Α, Β, Γ καὶ ἄλλα αὐτοῖς
5ἴσα τὸ πλῆθος τὰ Δ, Ε, Ζ, σύνδυο λαμβανόμενα ἐν τῷ αὐτῷ λόγῳ, ὡς μὲν τὸ Α πρὸς τὸ Β, οὕτως τὸ Δ πρὸς τὸ Ε, ὡς δὲ τὸ Β πρὸς τὸ Γ, οὕτως τὸ Ε πρὸς τὸ Ζ: λέγω, ὅτι καὶ δι᾽ ἴσου ἐν τῷ αὐτῷ λόγῳ ἔσται.

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

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

ἐὰν ἄρα ᾖ ὁποσαοῦν μεγέθη καὶ ἄλλα αὐτοῖς ἴσα τὸ πλῆθος, σύνδυο λαμβανόμενα ἐν τῷ αὐτῷ λόγῳ, καὶ δι᾽ ἴσου ἐν τῷ αὐτῷ λόγῳ ἔσται: ὅπερ ἔδει δεῖξαι.