Clay Mathematics Institute

Dedicated to increasing and disseminating mathematical knowledge

Book 7 Proposition 29



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

Any prime number is prime to any number which it does not measure. Let A be a prime number, and let it not measure B; I say that B, A are prime to one another. For, if B, A are not prime to one another, some number will measure them. Let C measure them. Since C measures B, and A does not measure B, therefore C is not the same with A. Now, since C measures B, A, therefore it also measures A which is prime, though it is not the same with it: which is impossible. Therefore no number will measure B, A.