G.277 numbers prime number — Heath

VII.23

If two numbers be prime to one another, the number which measures the one of them will be prime to the remaining number.

Let A, B be two numbers prime to one another, and let any number C measure A;

I say that C, B are also prime to one another.

A B C D
For, if C, B are not prime to one another, some number will measure C, B.

Let a number measure them, and let it be D.

Since D measures C, and C measures A,
therefore D also measures A.
But it also measures B ;
therefore D measures A, B which are prime to one another : which is impossible. [G.249]
Therefore no number will measure the numbers C, B.
Therefore C, B are prime to one another.
Q. E. D.

Dependency Graph

digraph { bgcolor="transparent"; node [shape=box, style="rounded,filled", fontname="Helvetica", fontsize=11, color="#d6d3cd", fontcolor="#ffffff"]; edge [color="#8c857b", fontcolor="#8c857b", arrowsize=0.75]; rankdir="TB"; "G.169" [label="G.169", tooltip="G.169 (V.def.1): A magnitude is apart of a magnitude, the less of the greater, when it measures the greater.", fillcolor="#224422", URL="../G.169/index.html", target="_top"]; "G.247" [label="G.247", tooltip="G.247 (VII.def.1): Anunit is that by virtue of which each of the things that exist is called one.", fillcolor="#224422", URL="../G.247/index.html", target="_top"]; "G.248" [label="G.248", tooltip="G.248 (VII.def.2): Anumber is a multitude composed ofunits.", fillcolor="#224422", URL="../G.248/index.html", target="_top"]; "G.249" [label="G.249", tooltip="G.249 (VII.def.12): Numbers prime to one another are those which aremeasured by anunit alone as a common measure.", fillcolor="#224422", URL="../G.249/index.html", target="_top"]; "G.277" [label="G.277", tooltip="G.277 (VII.23): If two numbers be prime to one another, the number which measures the one of them is prime to the remaining number.", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.249" -> "G.169"; "G.277" -> "G.169"; "G.248" -> "G.247"; "G.249" -> "G.247"; "G.277" -> "G.248"; "G.277" -> "G.249"; }

Required for

G.278, G.279, G.280, G.281, G.297, G.298, G.303, G.304, G.305, G.306, G.314, G.315, G.316, G.317, G.323, G.325, G.326, G.327, G.328, G.329, G.330, G.331, G.332, G.333, G.334, G.335, G.337, G.338, G.339, G.342, G.343, G.345, G.364, G.370, G.381, G.383, G.403, G.404, G.405, G.406, G.407, G.408, G.409, G.413, G.414, G.415, G.419, G.420, G.423, G.425, G.427, G.429, G.431, G.433, G.437, G.438, G.439, G.440, G.443, G.444, G.445, G.448, G.449, G.450, G.451, G.452, G.458, G.459, G.460, G.464, G.465, G.466, G.467, G.468, G.470, G.472, G.474, G.476, G.477, G.480, G.481, G.482, G.486, G.487, G.488, G.491, G.492, G.493, G.494, G.495, G.496, G.497, G.584, G.589, G.597, G.600, G.601