Euclid Elementa 8.prop.6

ἐὰν ὦσιν ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον, ὁ δὲ πρῶτος τὸν δεύτερον μὴ μετρῇ, οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει.

ἔστωσαν ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον οἱ Α, Β, Γ,
δ, Ε, ὁ δὲ Α τὸν Β μὴ μετρείτω· λέγω, ὅτι οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει.

ὅτι μὲν οὖν οἱ Α, Β, Γ, Δ, Ε ἑξῆς ἀλλήλους οὐ μετροῦσιν,
φανερόν· οὐδὲ γὰρ ὁ Α τὸν Β μετρεῖ. λέγω δή, ὅτι οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει. εἰ γὰρ δυνατόν, μετρείτω ὁ Α τὸν Γ. καὶ ὅσοι εἰσὶν οἱ Α, Β, Γ, τοσοῦτοι εἰλήφθωσαν ἐλάχιστοι ἀριθμοὶ
τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Β, Γ οἱ Ζ, Η, Θ. καὶ ἐπεὶ οἱ Ζ, Η, Θ ἐν τῷ αὐτῷ λόγῳ εἰσὶ τοῖς Α, Β,
Γ, καί ἐστιν ἴσον τὸ πλῆθος τῶν Α, Β, Γ τῷ πλήθει τῶν Ζ, Η, Θ, διʼ ἴσου ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Γ, οὕτως ὁ Ζ πρὸς τὸν Θ. καὶ ἐπεί ἐστιν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Ζ
πρὸς τὸν Η, οὐ μετρεῖ δὲ ὁ Α τὸν Β, οὐ μετρεῖ ἄρα οὐδὲ ὁ Ζ τὸν Η· οὐκ ἄρα μονάς ἐστιν ὁ Ζ· ἡ γὰρ μονὰς πάντα ἀριθμὸν μετρεῖ. καί εἰσιν οἱ Ζ, Θ πρῶτοι πρὸς ἀλλήλους οὐδὲ ὁ Ζ ἄρα τὸν Θ μετρεῖ. καί ἐστιν ὡς ὁ Ζ πρὸς τὸν Θ, οὕτως ὁ Α πρὸς τὸν Γ· οὐδὲ ὁ Α ἄρα τὸν Γ μετρεῖ. ὁμοίως δὴ
δείξομεν, ὅτι οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει· ὅπερ ἔδει δεῖξαι.