G.287 composite number measured — Heath

VII.31

Let A be a composite number;

I say that A is measured by some prime number.

For, since A is composite, some number will measure it.

Let a number measure it, and let it be B.

A B C
Now, if B is prime, what was enjoined will have been done.
But if it is composite, some number will measure it.

Let a number measure it, and let it be C.

Then, since C measures B, and B measures A,
therefore C also measures A.
And, if C is prime, what was enjoined will have been done.
But if it is composite, some number will measure it.
Thus, if the investigation be continued in this way, some prime number will be found which will measure the number before it, which will also measure A.
For, if it is not found, an infinite series of numbers will measure the number A, each of which is less than the other: which is impossible in numbers.
Therefore some prime number will be found which will measure the one before it, which will also measure A.
Therefore any composite number is measured by some prime number.

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.253" [label="G.253", tooltip="G.253 (VII.def.3): Anumber is apart of a number, the less of the greater, when itmeasures the greater;", fillcolor="#224422", URL="../G.253/index.html", target="_top"]; "G.283" [label="G.283", tooltip="G.283 (VII.def.11): Aprime number is that which ismeasured by anunit alone.", fillcolor="#224422", URL="../G.283/index.html", target="_top"]; "G.286" [label="G.286", tooltip="G.286 (VII.def.13): Acomposite number is that which ismeasured by somenumber.", fillcolor="#224422", URL="../G.286/index.html", target="_top"]; "G.287" [label="G.287", tooltip="G.287 (VII.31): Any composite number is measured by some prime number.", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.253" -> "G.169"; "G.283" -> "G.169"; "G.286" -> "G.169"; "G.287" -> "G.169"; "G.248" -> "G.247"; "G.283" -> "G.247"; "G.253" -> "G.248"; "G.286" -> "G.248"; "G.287" -> "G.248"; "G.283" -> "G.253"; "G.286" -> "G.253"; "G.287" -> "G.283"; "G.287" -> "G.286"; }

Required for

G.288, G.343, G.350, G.364, G.370