PROPOSITION 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.[1]
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[2] 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"; "V.def.1" [label="V.def.1", fillcolor="#224422", tooltip="V.def.1: A magnitude is a part of a magnitude, the less of the greater, when it measures the greater.", URL="../../../book_v/definitions/index.html#v-def-1", target="_top"]; "VII.def.1" [label="VII.def.1", fillcolor="#224422", tooltip="VII.def.1: An unit is that by virtue of which each of the things that exist is called one.", URL="../../definitions/index.html#vii-def-1", target="_top"]; "VII.def.2" [label="VII.def.2", fillcolor="#224422", tooltip="VII.def.2: A number is a multitude composed of units.", URL="../../definitions/index.html#vii-def-2", target="_top"]; "VII.def.11" [label="VII.def.11", fillcolor="#224422", tooltip="VII.def.11: A prime number is that which is measured by an unit alone.", URL="../../definitions/index.html#vii-def-11", target="_top"]; "VII.def.13" [label="VII.def.13", fillcolor="#224422", tooltip="VII.def.13: A composite number is that which is measured by some number.", URL="../../definitions/index.html#vii-def-13", target="_top"]; "VII.31" [label="VII.31", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="VII.31: Any composite number is measured by some prime number.", URL="index.html", target="_top"]; "VII.def.11" -> "V.def.1"; "VII.def.13" -> "V.def.1"; "VII.31" -> "V.def.1"; "VII.def.2" -> "VII.def.1"; "VII.def.11" -> "VII.def.1"; "VII.def.13" -> "VII.def.2"; "VII.31" -> "VII.def.11"; "VII.31" -> "VII.def.13"; }

Required for

VII.32, IX.13, IX.20, IX.32, IX.36


See Commentary on Proposition VII.31.