Elementa

ἐὰν δύο ἀριθμοὶ ἀριθμόν τινα πολλαπλασιάσαντες ποιῶσί τινας, οἱ γενόμενοι ἐξ αὐτῶν τὸν αὐτὸν ἕξουσι λόγον τοῖς πολλαπλασιάσασιν.

δύο γὰρ ἀριθμοὶ οἱ Α, Β ἀριθμόν τινα τὸν Γ πολλαπλασιάσαντες τοὺς Δ, Ε ποιείτωσαν· λέγω, ὅτι ἐστὶν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν Ε.

ἐπεὶ γὰρ ὁ Α τὸν Γ πολλαπλασιάσας τὸν Δ πεποίηκεν, καὶ ὁ Γ ἄρα τὸν Α πολλαπλασιάσας τὸν Δ πεποίηκεν. διὰ τὰ αὐτὰ δὴ καὶ ὁ Γ τὸν Β πολλαπλασιάσας τὸν Ε πεποίηκεν. ἀριθμὸς δὴ ὁ Γ δύο ἀριθμοὺς τοὺς Α, Β πολλαπλασιάσας τοὺς Δ, Ε πεποίηκεν. ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν ε· ὅπερ ἔδει δεῖξαι.

ἐὰν τέσσαρες ἀριθμοὶ ἀνάλογον ὦσιν, ὁ ἐκ πρώτου καὶ τετάρτου γενόμενος ἀριθμὸς ἴσος ἔσται τῷ ἐκ δευτέρου καὶ τρίτου γενομένῳ ἀριθμῷ· καὶ ἐὰν ὁ ἐκ πρώτου καὶ τετάρτου γενόμενος ἀριθμὸς ἴσος ᾖ τῷ ἐκ δευτέρου καὶ τρίτου, οἱ τέσσαρες ἀριθμοὶ ἀνάλογον ἔσονται.

ἔστωσαν τέσσαρες ἀριθμοὶ ἀνάλογον οἱ Α, Β, Γ, Δ, ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Γ πρὸς τὸν Δ, καὶ ὁ μὲν Α τὸν Δ πολλαπλασιάσας τὸν Ε ποιείτω, ὁ δὲ Β τὸν Γ πολλαπλασιάσας τὸν Ζ ποιείτω· λέγω, ὅτι ἴσος ἐστὶν ὁ Ε τῷ Ζ.

ὁ γὰρ Α τὸν Γ πολλαπλασιάσας τὸν Η ποιείτω. ἐπεὶ οὖν ὁ Α τὸν Γ πολλαπλασιάσας τὸν Η πεποίηκεν, τὸν δὲ Δ πολλαπλασιάσας τὸν Ε πεποίηκεν, ἀριθμὸς δὴ ὁ Α δύο ἀριθμοὺς τοὺς Γ, Δ πολλαπλασιάσας τοὺς Η, Ε πεποίηκεν. ἔστιν ἄρα ὡς ὁ Γ πρὸς τὸν Δ, οὕτως ὁ Η πρὸς τὸν Ε. ἀλλʼ ὡς ὁ Γ πρὸς τὸν Δ, οὕτως ὁ Α πρὸς τὸν Β· καὶ ὡς ἄρα ὁ Α πρὸς τὸν Β, οὕτως ὁ Η πρὸς τὸν Ε. πάλιν, ἐπεὶ ὁ Α τὸν Γ πολλαπλασιάσας τὸν Η πεποίηκεν, ἀλλὰ μὴν καὶ ὁ Β τὸν Γ πολλαπλασιάσας τὸν Ζ πεποίηκεν, δύο δὴ ἀριθμοὶ οἱ Α, Β ἀριθμόν τινα τὸν Γ πολλαπλασιάσαντες τοὺς Η, Ζ πεποιήκασιν. ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Η πρὸς τὸν Ζ. ἀλλὰ μὴν καὶ ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Η πρὸς τὸν Ε· καὶ ὡς ἄρα ὁ Η πρὸς τὸν Ε, οὕτως ὁ Η πρὸς τὸν Ζ. ὁ Η ἄρα πρὸς ἑκάτερον τῶν Ε, Ζ τὸν αὐτὸν ἔχει λόγον· ἴσος ἄρα ἐστὶν ὁ Ε τῷ Ζ.

ἔστω δὴ πάλιν ἴσος ὁ Ε τῷ Ζ· λέγω, ὅτι ἐστὶν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Γ πρὸς τὸν Δ.

τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεὶ ἴσος ἐστὶν ὁ Ε τῷ Ζ, ἔστιν ἄρα ὡς ὁ Η πρὸς τὸν Ε, οὕτως ὁ Η πρὸς τὸν Ζ. ἀλλʼ ὡς μὲν ὁ Η πρὸς τὸν Ε, οὕτως ὁ Γ πρὸς τὸν δ, ὡς δὲ ὁ Η πρὸς τὸν Ζ, οὕτως ὁ Α πρὸς τὸν Β. καὶ ὡς ἄρα ὁ Α πρὸς τὸν Β, οὕτως ὁ Γ πρὸς τὸν Δ· ὅπερ ἔδει δεῖξαι.

οἱ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα.

ἔστωσαν γὰρ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Β οἱ ΓΔ, ΕΖ· λέγω, ὅτι ἰσάκις ὁ ΓΔ τὸν Α μετρεῖ καὶ ὁ ΕΖ τὸν Β.

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

οἱ πρῶτοι πρὸς ἀλλήλους ἀριθμοὶ ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.

ἔστωσαν πρῶτοι πρὸς ἀλλήλους ἀριθμοὶ οἱ Α, Β· λέγω, ὅτι οἱ Α, Β ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.

εἰ γὰρ μή, ἔσονταί τινες τῶν Α, Β ἐλάσσονες ἀριθμοὶ ἐν τῷ αὐτῷ λόγῳ ὄντες τοῖς Α, Β. ἔστωσαν οἱ Γ, Δ.

ἐπεὶ οὖν οἱ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων 2αὐτοῖς2 μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάττων τὸν ἐλάττονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον, ἰσάκις ἄρα ὁ Γ τὸν Α μετρεῖ καὶ ὁ Δ τὸν Β. ὁσάκις δὴ ὁ Γ τὸν Α μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ε. καὶ ὁ Δ ἄρα τὸν Β μετρεῖ κατὰ τὰς ἐν τῷ Ε μονάδας. καὶ ἐπεὶ ὁ Γ τὸν Α μετρεῖ κατὰ τὰς ἐν τῷ Ε μονάδας, καὶ ὁ Ε ἄρα τὸν Α μετρεῖ κατὰ τὰς ἐν τῷ Γ μονάδας. διὰ τὰ αὐτὰ δὴ ὁ Ε καὶ τὸν Β μετρεῖ κατὰ τὰς ἐν τῷ Δ μονάδας. ὁ Ε ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἔσονταί τινες τῶν Α, Β ἐλάσσονες ἀριθμοὶ ἐν τῷ αὐτῷ λόγῳ ὄντες τοῖς Α, Β. οἱ Α, Β ἄρα ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς· ὅπερ ἔδει δεῖξαι.

οἱ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς πρῶτοι πρὸς ἀλλήλους εἰσίν.

ἔστωσαν ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς οἱ Α, Β· λέγω, ὅτι οἱ Α, Β πρῶτοι πρὸς ἀλλήλους εἰσίν.

εἰ γὰρ μή εἰσι πρῶτοι πρὸς ἀλλήλους, μετρήσει τις αὐτοὺς ἀριθμός. μετρείτω, καὶ ἔστω ὁ Γ. καὶ ὁσάκις μὲν ὁ Γ τὸν Α μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Δ, ὁσάκις δὲ ὁ Γ τὸν Β μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ε.

ἐπεὶ ὁ Γ τὸν Α μετρεῖ κατὰ τὰς ἐν τῷ Δ μονάδας, ὁ Γ ἄρα τὸν Δ πολλαπλασιάσας τὸν Α πεποίηκεν. διὰ τὰ αὐτὰ δὴ καὶ ὁ Γ τὸν Ε πολλαπλασιάσας τὸν Β πεποίηκεν. ἀριθμὸς δὴ ὁ Γ δύο ἀριθμοὺς τοὺς Δ, Ε πολλαπλασιάσας τοὺς Α, Β πεποίηκεν· ἔστιν ἄρα ὡς ὁ Δ πρὸς τὸν Ε, οὕτως ὁ Α πρὸς τὸν Β· οἱ Δ, Ε ἄρα τοῖς Α, Β ἐν τῷ αὐτῷ λόγῳ εἰσὶν ἐλάσσονες ὄντες αὐτῶν· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Α, Β ἀριθμοὺς ἀριθμός τις μετρήσει. οἱ α, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, ὁ τὸν ἕνα αὐτῶν μετρῶν ἀριθμὸς πρὸς τὸν λοιπὸν πρῶτος ἔσται.

ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, τὸν δὲ Α μετρείτω τις ἀριθμὸς ὁ Γ· λέγω, ὅτι καὶ οἱ Γ, Β πρῶτοι πρὸς ἀλλήλους εἰσίν.

εἰ γὰρ μή εἰσιν οἱ Γ, Β πρῶτοι πρὸς ἀλλήλους, μετρήσει τις τοὺς Γ, Β ἀριθμός. μετρείτω, καὶ ἔστω ὁ Δ. ἐπεὶ ὁ Δ τὸν Γ μετρεῖ, ὁ δὲ Γ τὸν Α μετρεῖ, καὶ ὁ Δ ἄρα τὸν Α μετρεῖ. μετρεῖ δὲ καὶ τὸν Β· ὁ Δ ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Γ, Β ἀριθμοὺς ἀριθμός τις μετρήσει. οἱ Γ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο ἀριθμοὶ πρός τινα ἀριθμὸν πρῶτοι ὦσιν, καὶ ὁ ἐξ αὐτῶν γενόμενος πρὸς τὸν αὐτὸν πρῶτος ἔσται.

δύο γὰρ ἀριθμοὶ οἱ Α, Β πρός τινα ἀριθμὸν τὸν Γ πρῶτοι ἔστωσαν, καὶ ὁ α τὸν Β πολλαπλασιάσας τὸν Δ ποιείτω· λέγω, ὅτι οἱ Γ, Δ πρῶτοι πρὸς ἀλλήλους εἰσίν.

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

ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, ὁ ἐκ τοῦ ἑνὸς αὐτῶν γενόμενος πρὸς τὸν λοιπὸν πρῶτος ἔσται.

ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, καὶ ὁ Α ἑαυτὸν πολλαπλασιάσας τὸν Γ ποιείτω· λέγω, ὅτι οἱ Β, Γ πρῶτοι πρὸς ἀλλήλους εἰσίν.

κείσθω γὰρ τῷ Α ἴσος ὁ Δ. ἐπεὶ οἱ Α, Β πρῶτοι πρὸς ἀλλήλους εἰσίν, ἴσος δὲ ὁ Α τῷ Δ, καὶ οἱ Δ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. ἑκάτερος ἄρα τῶν Δ, Α πρὸς τὸν Β πρῶτός ἐστιν· καὶ ὁ ἐκ τῶν Δ, Α ἄρα γενόμενος πρὸς τὸν Β πρῶτος ἔσται. ὁ δὲ ἐκ τῶν Δ, Α γενόμενος ἀριθμός ἐστιν ὁ Γ. οἱ Γ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο ἀριθμοὶ πρὸς δύο ἀριθμοὺς ἀμφότεροι πρὸς ἑκάτερον πρῶτοι ὦσιν, καὶ οἱ ἐξ αὐτῶν γενόμενοι πρῶτοι πρὸς ἀλλήλους ἔσονται.

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

ἐπεὶ γὰρ ἑκάτερος τῶν Α, Β πρὸς τὸν Γ πρῶτός ἐστιν, καὶ ὁ ἐκ τῶν Α, Β ἄρα γενόμενος πρὸς τὸν Γ πρῶτος ἔσται. ὁ δὲ ἐκ τῶν Α, Β γενόμενός ἐστιν ὁ Ε· οἱ Ε, Γ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. διὰ τὰ αὐτὰ δὴ καὶ οἱ Δ, Ε πρῶτοι πρὸς ἀλλήλους εἰσίν. ἑκάτερος ἄρα τῶν Γ, Δ πρὸς τὸν Ε πρῶτός ἐστιν. καὶ ὁ ἐκ τῶν Γ, Δ ἄρα γενόμενος πρὸς τὸν Ε πρῶτος ἔσται. ὁ δὲ ἐκ τῶν Γ, Δ γενόμενός ἐστιν ὁ Ζ. οἱ Ε, Ζ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, καὶ πολλαπλασιάσας ἑκάτερος ἑαυτὸν ποιῇ τινα, οἱ γενόμενοι ἐξ αὐτῶν πρῶτοι πρὸς ἀλλήλους ἔσονται, κἂν οἱ ἐξ ἀρχῆς τοὺς γενομένους πολλαπλασιάσαντες ποιῶσί τινας, κἀκεῖνοι πρῶτοι πρὸς ἀλλήλους ἔσονται καὶ ἀεὶ περὶ τοὺς ἄκρους τοῦτο συμβαίνει.

ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, καὶ ὁ Α ἑαυτὸν μὲν πολλαπλασιάσας τὸν Γ ποιείτω, τὸν δὲ Γ πολλαπλασιάσας τὸν Δ ποιείτω, ὁ δὲ Β ἑαυτὸν μὲν πολλαπλασιάσας τὸν Ε ποιείτω, τὸν δὲ Ε πολλαπλασιάσας τὸν Ζ ποιείτω· λέγω, ὅτι οἵ τε Γ, Ε καὶ οἱ Δ, Ζ πρῶτοι πρὸς ἀλλήλους εἰσίν.

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

ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, καὶ συναμφότερος πρὸς ἑκάτερον αὐτῶν πρῶτος ἔσται· καὶ ἐὰν συναμφότερος πρὸς ἕνα τινὰ αὐτῶν πρῶτος ᾖ, καὶ οἱ ἐξ ἀρχῆς ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ἔσονται.

Συγκείσθωσαν γὰρ δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ ΑΒ, ΒΓ· λέγω, ὅτι καὶ συναμφότερος ὁ ΑΓ πρὸς ἑκάτερον τῶν ΑΒ, ΒΓ πρῶτός ἐστιν.

εἰ γὰρ μή εἰσιν οἱ ΓΑ, ΑΒ πρῶτοι πρὸς ἀλλήλους, μετρήσει τις τοὺς ΓΑ, ΑΒ ἀριθμός. μετρείτω, καὶ ἔστω ὁ Δ. ἐπεὶ οὖν ὁ Δ τοὺς ΓΑ, ΑΒ μετρεῖ, καὶ λοιπὸν ἄρα τὸν ΒΓ μετρήσει. μετρεῖ δὲ καὶ τὸν ΒΑ· ὁ Δ ἄρα τοὺς ΑΒ, ΒΓ μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς ΓΑ, ΑΒ ἀριθμοὺς ἀριθμός τις μετρήσει· οἱ ΓΑ, ΑΒ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. διὰ τὰ αὐτὰ δὴ καὶ οἱ ΑΓ, ΓΒ πρῶτοι πρὸς ἀλλήλους εἰσίν. ὁ ΓΑ ἄρα πρὸς ἑκάτερον τῶν ΑΒ, ΒΓ πρῶτός ἐστιν.

ἔστωσαν δὴ πάλιν οἱ ΓΑ, ΑΒ πρῶτοι πρὸς ἀλλήλους· λέγω, ὅτι καὶ οἱ ΑΒ, ΒΓ πρῶτοι πρὸς ἀλλήλους εἰσίν.

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

ἅπας πρῶτος ἀριθμὸς πρὸς ἅπαντα ἀριθμόν, ὃν μὴ μετρεῖ, πρῶτός ἐστιν.

ἔστω πρῶτος ἀριθμὸς ὁ Α καὶ τὸν Β μὴ μετρείτω· λέγω, ὅτι οἱ Β, Α πρῶτοι πρὸς ἀλλήλους εἰσίν.

εἰ γὰρ μή εἰσιν οἱ Β, Α πρῶτοι πρὸς ἀλλήλους, μετρήσει τις αὐτοὺς ἀριθμός. μετρείτω ὁ Γ. ἐπεὶ ὁ Γ τὸν Β μετρεῖ, ὁ δὲ Α τὸν Β οὐ μετρεῖ, ὁ Γ ἄρα τῷ Α οὔκ ἐστιν ὁ αὐτός. καὶ ἐπεὶ ὁ Γ τοὺς Β, Α μετρεῖ, καὶ τὸν Α ἄρα μετρεῖ πρῶτον ὄντα μὴ ὢν αὐτῷ ὁ αὐτός· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Β, Α μετρήσει τις ἀριθμός. οἱ Α, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, τὸν δὲ γενόμενον ἐξ αὐτῶν μετρῇ τις πρῶτος ἀριθμός, καὶ ἕνα τῶν ἐξ ἀρχῆς μετρήσει.

δύο γὰρ ἀριθμοὶ οἱ Α, Β πολλαπλασιάσαντες ἀλλήλους τὸν Γ ποιείτωσαν, τὸν δὲ Γ μετρείτω τις πρῶτος ἀριθμὸς ὁ Δ· λέγω, ὅτι ὁ Δ ἕνα τῶν Α, Β μετρεῖ.

τὸν γὰρ Α μὴ μετρείτω· καί ἐστι πρῶτος ὁ Δ· οἱ Α, Δ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. καὶ ὁσάκις ὁ Δ τὸν Γ μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ε. ἐπεὶ οὖν ὁ Δ τὸν Γ μετρεῖ κατὰ τὰς ἐν τῷ Ε μονάδας, ὁ Δ ἄρα τὸν Ε πολλαπλασιάσας τὸν Γ πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Α τὸν β πολλαπλασιάσας τὸν Γ πεποίηκεν· ἴσος ἄρα ἐστὶν ὁ ἐκ τῶν Δ, Ε τῷ ἐκ τῶν Α, Β. ἔστιν ἄρα ὡς ὁ Δ πρὸς τὸν Α, οὕτως ὁ Β πρὸς τὸν Ε. οἱ δὲ Δ, Α πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· ὁ Δ ἄρα τὸν Β μετρεῖ. ὁμοίως δὴ δείξομεν, ὅτι καὶ ἐὰν τὸν Β μὴ μετρῇ, τὸν Α μετρήσει. ὁ Δ ἄρα ἕνα τῶν Α, Β μετρεῖ· ὅπερ ἔδει δεῖξαι.