Euclid Elementa 5.prop.22

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

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

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

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

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