Book 9, Type prop

ἐὰν ἀπὸ μονάδος ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον ὦσιν, ὑφʼ ὅσων ἂν ὁ ἔσχατος πρώτων ἀριθμῶν μετρῆται, ὑπὸ τῶν αὐτῶν καὶ ὁ παρὰ τὴν μονάδα μετρηθήσεται. ἔστωσαν ἀπὸ μονάδος ὁποσοιδηποτοῦν ἀριθμοὶ ἀνάλογον οἱ Α, Β, Γ, Δ· λέγω, ὅτι ὑφʼ ὅσων ἂν ὁ Δ πρώτων ἀριθμῶν μετρῆται, ὑπὸ τῶν αὐτῶν καὶ ὁ Α μετρηθήσεται. μετρείσθω γὰρ ὁ Δ ὑπό τινος πρώτου ἀριθμοῦ τοῦ Ε· λέγω, ὅτι ὁ ε τὸν Α μετρεῖ. μὴ γάρ· καί ἐστιν ὁ Ε πρῶτος, ἅπας δὲ πρῶτος ἀριθμὸς πρὸς ἅπαντα, ὃν μὴ μετρεῖ, πρῶτός ἐστιν· οἱ Ε, Α ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. καὶ ἐπεὶ ὁ Ε τὸν Δ μετρεῖ, μετρείτω αὐτὸν κατὰ τὸν Ζ· ὁ Ε ἄρα τὸν Ζ πολλαπλασιάσας τὸν Δ πεποίηκεν. πάλιν, ἐπεὶ ὁ Α τὸν Δ μετρεῖ κατὰ τὰς ἐν τῷ Γ μονάδας, ὁ Α ἄρα τὸν Γ πολλαπλασιάσας τὸν Δ πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Ε τὸν Ζ πολλαπλασιάσας τὸν Δ πεποίηκεν· ὁ ἄρα ἐκ τῶν Α, Γ ἴσος ἐστὶ τῷ ἐκ τῶν Ε, Ζ. ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Ε, ὁ Ζ πρὸς τὸν Γ. οἱ δὲ Α, Ε πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· μετρεῖ ἄρα ὁ Ε τὸν Γ. μετρείτω αὐτὸν κατὰ τὸν Η· ὁ Ε ἄρα τὸν Η πολλαπλασιάσας τὸν Γ πεποίηκεν. ἀλλὰ μὴν διὰ τὸ πρὸ τούτου καὶ ὁ Α τὸν Β πολλαπλασιάσας τὸν Γ πεποίηκεν. ὁ ἄρα ἐκ τῶν Α, Β ἴσος ἐστὶ τῷ ἐκ τῶν Ε, Η. ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Ε, ὁ Η πρὸς τὸν Β. οἱ δὲ Α, Ε πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι ἀριθμοὶ μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας αὐτοῖς ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· μετρεῖ ἄρα ὁ Ε τὸν Β. μετρείτω αὐτὸν κατὰ τὸν Θ· ὁ Ε ἄρα τὸν Θ πολλαπλασιάσας τὸν Β πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Α ἑαυτὸν πολλαπλασιάσας τὸν Β πεποίηκεν· ὁ ἄρα ἐκ τῶν Ε, Θ ἴσος ἐστὶ τῷ ἀπὸ τοῦ Α. ἔστιν ἄρα ὡς ὁ Ε πρὸς τὸν Α, ὁ Α πρὸς τὸν Θ. οἱ δὲ Α, Ε πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· μετρεῖ ἄρα ὁ Ε τὸν Α ὡς ἡγούμενος ἡγούμενον. ἀλλὰ μὴν καὶ οὐ μετρεῖ· ὅπερ ἀδύνατον. οὐκ ἄρα οἱ Ε, Α πρῶτοι πρὸς ἀλλήλους εἰσίν. σύνθετοι ἄρα. οἱ δὲ σύνθετοι ὑπὸ ἀριθμοῦ τινος μετροῦνται. καὶ ἐπεὶ ὁ Ε πρῶτος ὑπόκειται, ὁ δὲ πρῶτος ὑπὸ ἑτέρου ἀριθμοῦ οὐ μετρεῖται ἢ ὑφʼ ἑαυτοῦ, ὁ Ε ἄρα τοὺς Α, Ε μετρεῖ· ὥστε ὁ Ε τὸν Α μετρεῖ. μετρεῖ δὲ καὶ τὸν Δ· ὁ Ε ἄρα τοὺς Α, Δ μετρεῖ. ὁμοίως δὴ δείξομεν, ὅτι ὑφʼ ὅσων ἂν ὁ Δ πρώτων ἀριθμῶν μετρῆται, ὑπὸ τῶν αὐτῶν καὶ ὁ Α μετρηθήσεται· ὅπερ ἔδει δεῖξαι.