Euclid Elementa 5.prop.11

οἱ τῷ αὐτῷ λόγῳ οἱ αὐτοὶ καὶ ἀλλήλοις εἰσὶν οἱ αὐτοί.

ἔστωσαν γὰρ ὡς μὲν τὸ Α πρὸς τὸ Β, οὕτως τὸ Γ πρὸς τὸ Δ, ὡς δὲ τὸ Γ πρὸς τὸ Δ, οὕτως τὸ Ε πρὸς τὸ Ζ·
λέγω, ὅτι ἐστὶν ὡς τὸ Α πρὸς τὸ Β, οὕτως τὸ Ε πρὸς τὸ Ζ.

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

καὶ ἐπεί ἐστιν ὡς τὸ Α πρὸς τὸ Β, οὕτως τὸ Γ πρὸς
τὸ Δ, καὶ εἴληπται τῶν μὲν Α, Γ ἰσάκις πολλαπλάσια τὰ Η, Θ, τῶν δὲ Β, Δ ἄλλα, ἃ ἔτυχεν, ἰσάκις πολλαπλάσια τὰ Λ, Μ, εἰ ἄρα ὑπερέχει τὸ Η τοῦ Λ, ὑπερέχει καὶ τὸ Θ τοῦ Μ, καὶ εἰ ἴσον ἐστίν, ἴσον, καὶ εἰ ἐλλείπει, ἐλλείπει. πάλιν, ἐπεί ἐστιν ὡς τὸ Γ πρὸς τὸ Δ, οὕτως τὸ Ε πρὸς
τὸ Ζ, καὶ εἴληπται τῶν Γ, Ε ἰσάκις πολλαπλάσια τὰ Θ, Κ, τῶν δὲ Δ, Ζ ἄλλα, ἃ ἔτυχεν, ἰσάκις πολλαπλάσια τὰ Μ, Ν, εἰ ἄρα ὑπερέχει τὸ Θ τοῦ Μ, ὑπερέχει καὶ τὸ Κ τοῦ Ν, καὶ εἰ ἴσον, ἴσον, καὶ εἰ ἔλαττον, ἔλαττον. ἀλλὰ εἰ ὑπερεῖχε τὸ Θ τοῦ Μ, ὑπερεῖχε καὶ τὸ Η τοῦ Λ, καὶ εἰ
ἴσον, ἴσον, καὶ εἰ ἔλαττον, ἔλαττον· ὥστε καὶ εἰ ὑπερέχει τὸ Η τοῦ Λ, ὑπερέχει καὶ τὸ Κ τοῦ Ν, καὶ εἰ ἴσον, ἴσον, καὶ εἰ ἔλαττον, ἔλαττον. καί ἐστι τὰ μὲν Η, Κ τῶν Α, Ε ἰσάκις πολλαπλάσια, τὰ δὲ Λ, Ν τῶν Β, Ζ ἄλλα, ἃ ἔτυχεν, ἰσάκις πολλαπλάσια· ἔστιν ἄρα ὡς τὸ Α πρὸς τὸ Β, οὕτως
τὸ Ε πρὸς τὸ Ζ.

οἱ ἄρα τῷ αὐτῷ λόγῳ οἱ αὐτοὶ καὶ ἀλλήλοις εἰσὶν οἱ αὐτοί· ὅπερ ἔδει δεῖξαι.