Euclid, Elements
J. L. Heiberg, Ed.

ἔστωσαν ἀπὸ μονάδος ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον οἱ Α, Β, Γ, Δ, ὁ δὲ μετὰ τὴν μονάδα ὁ Α πρῶτος ἔστω: λέγω, ὅτι ὁ μέγιστος αὐτῶν ὁ Δ ὑπ᾽ οὐδενὸς ἄλλου μετρηθήσεται παρὲξ τῶν Α, Β, Γ.

εἰ γὰρ δυνατόν, μετρείσθω ὑπὸ τοῦ Ε, καὶ ὁ Ε μηδενὶ
10τῶν Α, Β, Γ ἔστω ὁ αὐτός. φανερὸν δή, ὅτι ὁ Ε πρῶτος οὔκ ἐστιν. εἰ γὰρ ὁ Ε πρῶτός ἐστι καὶ μετρεῖ τὸν Δ, καὶ τὸν Α μετρήσει πρῶτον ὄντα μὴ ὢν αὐτῷ ὁ αὐτός: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ὁ Ε πρῶτός ἐστιν. σύνθετος ἄρα. πᾶς δὲ σύνθετος ἀριθμὸς ὑπὸ πρώτου τινὸς ἀριθμοῦ
15μετρεῖται: ὁ Ε ἄρα ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται. λέγω δή, ὅτι ὑπ᾽ οὐδενὸς ἄλλου πρώτου μετρηθήσεται πλὴν τοῦ Α. εἰ γὰρ ὑφ᾽ ἑτέρου μετρεῖται ὁ Ε, ὁ δὲ Ε τὸν Δ μετρεῖ, κἀκεῖνος ἄρα τὸν Δ μετρήσει: ὥστε καὶ τὸν Α μετρήσει πρῶτον ὄντα μὴ ὢν αὐτῷ ὁ αὐτός: ὅπερ
20ἐστὶν ἀδύνατον. ὁ Α ἄρα τὸν Ε μετρεῖ. καὶ ἐπεὶ ὁ Ε τὸν Δ μετρεῖ, μετρείτω αὐτὸν κατὰ τὸν Ζ. λέγω, ὅτι ὁ Ζ οὐδενὶ τῶν Α, Β, Γ ἐστιν ὁ αὐτός. εἰ γὰρ ὁ Ζ ἑνὶ τῶν Α, Β, Γ ἐστιν ὁ αὐτὸς καὶ μετρεῖ τὸν Δ κατὰ τὸν Ε, καὶ εἷς ἄρα τῶν Α, Β, Γ τὸν Δ μετρεῖ κατὰ τὸν Ε. ἀλλὰ εἷς
25τῶν Α, Β, Γ τὸν Δ μετρεῖ κατά τινα τῶν Α, Β, Γ: καὶ ὁ Ε ἄρα ἑνὶ τῶν Α, Β, Γ ἐστιν ὁ αὐτός: ὅπερ οὐχ ὑπόκειται. οὐκ ἄρα ὁ Ζ ἑνὶ τῶν Α, Β, Γ ἐστιν ὁ αὐτός. ὁμοίως δὴ δείξομεν, ὅτι μετρεῖται ὁ Ζ ὑπὸ τοῦ Α, δεικνύντες πάλιν,
25ὅτι ὁ Ζ οὔκ ἐστι πρῶτος. εἰ γάρ, καὶ μετρεῖ τὸν Δ, καὶ τὸν
30α μετρήσει πρῶτον ὄντα μὴ ὢν αὐτῷ ὁ αὐτός: ὅπερ ἐστὶν ἀδύνατον: οὐκ ἄρα πρῶτός ἐστιν ὁ Ζ: σύνθετος ἄρα. ἅπας δὲ σύνθετος ἀριθμὸς ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται: ὁ Ζ ἄρα ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται. λέγω δή, ὅτι ὑφ᾽ ἑτέρου πρώτου οὐ μετρηθήσεται πλὴν τοῦ
35α. εἰ γὰρ ἕτερός τις πρῶτος τὸν Ζ μετρεῖ, ὁ δὲ Ζ τὸν Δ μετρεῖ, κἀκεῖνος ἄρα τὸν Δ μετρήσει: ὥστε καὶ τὸν Α μετρήσει πρῶτον ὄντα μὴ ὢν αὐτῷ ὁ αὐτός: ὅπερ ἐστὶν ἀδύνατον. ὁ Α ἄρα τὸν Ζ μετρεῖ. καὶ ἐπεὶ ὁ Ε τὸν Δ μετρεῖ κατὰ τὸν Ζ, ὁ Ε ἄρα τὸν Ζ πολλαπλασιάσας τὸν Δ
40πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Α τὸν Γ πολλαπλασιάσας τὸν Δ πεποίηκεν: ὁ ἄρα ἐκ τῶν Α, Γ ἴσος ἐστὶ τῷ ἐκ τῶν Ε, Ζ. ἀνάλογον ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Ε, οὕτως ὁ Ζ πρὸς τὸν Γ. ὁ δὲ Α τὸν Ε μετρεῖ: καὶ ὁ Ζ ἄρα τὸν Γ μετρεῖ. μετρείτω αὐτὸν κατὰ τὸν Η. ὁμοίως δὴ δείξομεν,
45ὅτι ὁ Η οὐδενὶ τῶν Α, Β ἐστιν ὁ αὐτός, καὶ ὅτι μετρεῖται ὑπὸ τοῦ Α. καὶ ἐπεὶ ὁ Ζ τὸν Γ μετρεῖ κατὰ τὸν Η, ὁ Ζ ἄρα τὸν Η πολλαπλασιάσας τὸν Γ πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Α τὸν Β πολλαπλασιάσας τὸν Γ πεποίηκεν: ὁ ἄρα ἐκ τῶν Α, Β ἴσος ἐστὶ τῷ ἐκ τῶν Ζ, Η. ἀνάλογον ἄρα ὡς
50ὁ Α πρὸς τὸν Ζ, ὁ Η πρὸς τὸν Β. μετρεῖ δὲ ὁ Α τὸν Ζ: μετρεῖ ἄρα καὶ ὁ Η τὸν Β. μετρείτω αὐτὸν κατὰ τὸν Θ. ὁμοίως δὴ δείξομεν, ὅτι ὁ Θ τῷ Α οὐκ ἔστιν ὁ αὐτός. καὶ ἐπεὶ ὁ Η τὸν Β μετρεῖ κατὰ τὸν Θ, ὁ Η ἄρα τὸν Θ πολλαπλασιάσας τὸν Β πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Α
55ἑαυτὸν πολλαπλασιάσας τὸν Β πεποίηκεν: ὁ ἄρα ὑπὸ Θ, Η ἴσος ἐστὶ τῷ ἀπὸ τοῦ Α τετραγώνῳ. ἔστιν ἄρα ὡς ὁ Θ πρὸς τὸν Α, ὁ Α πρὸς τὸν Η. μετρεῖ δὲ ὁ Α τὸν Η: μετρεῖ ἄρα καὶ ὁ Θ τὸν Α πρῶτον ὄντα μὴ ὢν αὐτῷ ὁ αὐτός: ὅπερ ἄτοπον. οὐκ ἄρα ὁ μέγιστος ὁ Δ ὑπὸ ἑτέρου
60ἀριθμοῦ μετρηθήσεται παρὲξ τῶν Α, Β, Γ: ὅπερ ἔδει δεῖξαι.