Ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, καὶ ὁ Α ἑαυτὸν μὲν πολλαπλασιάσας τὸν Γ ποιείτω, τὸν δὲ Γ πολλαπλασιάσας τὸν Δ ποιείτω, ὁ δὲ Β ἑαυτὸν μὲν πολλαπλασιάσας τὸν Ε ποιείτω, τὸν δὲ Ε πολλαπλασιάσας τὸν Ζ ποιείτω· λέγω, ὅτι οἵ τε Γ, Ε καὶ οἱ Δ, Ζ πρῶτοι πρὸς ἀλλήλους εἰσίν.
Ἐπεὶ γὰρ οἱ Α, Β πρῶτοι πρὸς ἀλλήλους εἰσίν, καὶ ὁ Α ἑαυτὸν πολλαπλασιάσας τὸν Γ πεποίηκεν, οἱ Γ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. ἐπεὶ οὖν οἱ Γ, Β πρῶτοι πρὸς ἀλλήλους εἰσίν, καὶ ὁ Β ἑαυτὸν πολλαπλασιάσας τὸν Ε πεποίηκεν, οἱ Γ, Ε ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. πάλιν, ἐπεὶ οἱ Α, Β πρῶτοι πρὸς ἀλλήλους εἰσίν, καὶ ὁ Β ἑαυτὸν πολλαπλασιάσας τὸν Ε πεποίηκεν, οἱ Α, Ε ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. ἐπεὶ οὖν δύο ἀριθμοὶ οἱ Α, Γ πρὸς δύο ἀριθμοὺς τοὺς Β, Ε ἀμφότεροι πρὸς ἑκάτερον πρῶτοί εἰσιν, καὶ ὁ ἐκ τῶν Α, Γ ἄρα γενόμενος πρὸς τὸν ἐκ τῶν Β, Ε πρῶτός ἐστιν. καί ἐστιν ὁ μὲν ἐκ τῶν Α, Γ ὁ Δ, ὁ δὲ ἐκ τῶν Β, Ε ὁ Ζ. οἱ Δ, Ζ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.