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