Book 8, Type prop

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