Δύο γὰρ ἀριθμοὶ οἱ Α, Β πρῶτοι πρὸς ἀλλήλους ἔστωσαν· λέγω, ὅτι οὐκ ἔστιν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Β πρὸς ἄλλον τινά.
Εἰ γὰρ δυνατόν, ἔστω ὡς ὁ Α πρὸς τὸν Β, ὁ Β πρὸς τὸν Γ. οἱ δὲ Α, Β πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι ἀριθμοὶ μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· μετρεῖ ἄρα ὁ Α τὸν Β ὡς ἡγούμενος ἡγούμενον. μετρεῖ δὲ καὶ ἑαυτόν· ὁ Α ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἄτοπον. οὐκ ἄρα ἔσται ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Β πρὸς τὸν Γ· ὅπερ ἔδει δεῖξαι.