Kitap 9
30
ἐπεὶ γὰρ ὁ Α τὸν Β μετρεῖ, μετρείτω αὐτὸν κατὰ τὸν Γ· λέγω, ὅτι ὁ Γ οὐκ ἔστι περισσός. εἰ γὰρ δυνατόν, ἔστω. καὶ ἐπεὶ ὁ Α τὸν Β μετρεῖ κατὰ τὸν Γ, ὁ Α ἄρα τὸν Γ πολλαπλασιάσας τὸν Β πεποίηκεν. ὁ Β ἄρα σύγκειται ἐκ περισσῶν ἀριθμῶν, ὧν τὸ πλῆθος περισσόν ἐστιν. ὁ Β ἄρα περισσός ἐστιν· ὅπερ ἄτοπον· ὑπόκειται γὰρ ἄρτιος. οὐκ ἄρα ὁ Γ περισσός ἐστιν· ἄρτιος ἄρα ἐστὶν ὁ Γ. ὥστε ὁ Α τὸν Β μετρεῖ ἀρτιάκις. διὰ δὴ τοῦτο καὶ τὸν ἥμισυν αὐτοῦ μετρήσει· ὅπερ ἔδει δεῖξαι.
31
ἐὰν περισσὸς ἀριθμὸς πρός τινα ἀριθμὸν πρῶτος ᾖ, καὶ πρὸς τὸν διπλασίονα αὐτοῦ πρῶτος ἔσται.
31
περισσὸς γὰρ ἀριθμὸς ὁ Α πρός τινα ἀριθμὸν τὸν Β πρῶτος ἔστω, τοῦ δὲ Β διπλασίων ἔστω ὁ Γ· λέγω, ὅτι ὁ Α καὶ πρὸς τὸν Γ πρῶτός ἐστιν.
31
εἰ γὰρ μή εἰσιν οἱ Α, Γ πρῶτοι, μετρήσει τις αὐτοὺς ἀριθμός. μετρείτω, καὶ ἔστω ὁ Δ. καί ἐστιν ὁ Α περισσός· περισσὸς ἄρα καὶ ὁ Δ. καὶ ἐπεὶ ὁ Δ περισσὸς ὢν τὸν Γ μετρεῖ, καί ἐστιν ὁ Γ ἄρτιος, καὶ τὸν ἥμισυν ἄρα τοῦ Γ μετρήσει ὁ Δ. τοῦ δὲ Γ ἥμισύ ἐστιν ὁ Β· ὁ Δ ἄρα τὸν Β μετρεῖ. μετρεῖ δὲ καὶ τὸν Α. ὁ Δ ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ὁ Α πρὸς τὸν Γ πρῶτος οὔκ ἐστιν. οἱ Α, Γ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.
32
τῶν ἀπὸ δυάδος διπλασιαζομένων ἀριθμῶν ἕκαστος ἀρτιάκις ἄρτιός ἐστι μόνον.
32
ἀπὸ γὰρ δυάδος τῆς Α δεδιπλασιάσθωσαν ὁσοιδηποτοῦν ἀριθμοὶ οἱ Β, Γ, Δ· λέγω, ὅτι οἱ Β, Γ, Δ ἀρτιάκις ἄρτιοί εἰσι μόνον.
