Euclid Elementa 9.prop.14

ἐὰν ἐλάχιστος ἀριθμὸς ὑπὸ πρώτων ἀριθμῶν μετρῆται, ὑπʼ οὐδενὸς ἄλλου πρώτου ἀριθμοῦ μετρηθήσεται παρὲξ τῶν ἐξ ἀρχῆς μετρούντων.

ἐλάχιστος γὰρ ἀριθμὸς ὁ Α ὑπὸ πρώτων ἀριθμῶν
τῶν Β, Γ, Δ μετρείσθω· λέγω, ὅτι ὁ Α ὑπʼ οὐδενὸς ἄλλου πρώτου ἀριθμοῦ μετρηθήσεται παρὲξ τῶν Β, Γ, Δ.

εἰ γὰρ δυνατόν, μετρείσθω ὑπὸ πρώτου τοῦ Ε, καὶ ὁ Ε μηδενὶ τῶν Β, Γ, Δ ἔστω ὁ αὐτός. καὶ ἐπεὶ ὁ Ε τὸν Α μετρεῖ, μετρείτω αὐτὸν κατὰ τὸν Ζ· ὁ Ε ἄρα τὸν Ζ
πολλαπλασιάσας τὸν Α πεποίηκεν. καὶ μετρεῖται ὁ Α ὑπὸ πρώτων ἀριθμῶν τῶν Β, Γ, Δ. ἐὰν δὲ δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, τὸν δὲ γενόμενον
ἐξ αὐτῶν μετρῇ τις πρῶτος ἀριθμός, καὶ ἕνα τῶν ἐξ ἀρχῆς μετρήσει· οἱ Β, Γ, Δ ἄρα ἕνα τῶν Ε, Ζ μετρήσουσιν. τὸν μὲν οὖν Ε οὐ μετρήσουσιν· ὁ γὰρ Ε πρῶτός ἐστι καὶ οὐδενὶ τῶν Β, Γ, Δ ὁ αὐτός. τὸν Ζ ἄρα μετροῦσιν ἐλάσσονα ὄντα τοῦ Α· ὅπερ ἀδύνατον. ὁ γὰρ Α ὑπόκειται
ἐλάχιστος ὑπὸ τῶν Β, Γ, Δ μετρούμενος. οὐκ ἄρα τὸν Α μετρήσει πρῶτος ἀριθμὸς παρὲξ τῶν Β, Γ, Δ· ὅπερ ἔδει δεῖξαι.