PROPOSITION 4.

Any number is either a part or parts of any number, the less of the greater.

Let A, BC be two numbers, and let BC be the less ;

I say that BC is either a part, or parts, of A.

For A, BC are either prime to one another or not.

First, let A, BC be prime to one another.

Then, if BC be divided into the units in it, each unit of those in BC will be some part of A ;
so that BC is parts of A.

Next let A, BC not be prime to one another ; then BC either measures, or does not measure, A.

If now BC measures A, BC is a part of A.
A B E F C D

But, if not, let the greatest common measure D of A, BC be taken ; [VII. 2]

and let BC be divided into the numbers equal to D, namely BE, EF, FC.

Now, since D measures A, D is a part of A.
But D is equal to each of the numbers BE, EF, FC ;
therefore each of the numbers BE, EF, FC is also a part of A ;
so that BC is parts of A.
Therefore etc. 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"; "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.3" [label="VII.def.3", fillcolor="#224422", tooltip="VII.def.3: A number is a part of a number, the less of the greater, when it measures the greater.", URL="../../definitions/index.html#vii-def-3", target="_top"]; "VII.def.4" [label="VII.def.4", fillcolor="#224422", tooltip="VII.def.4: but parts when it does not measure it.", URL="../../definitions/index.html#vii-def-4", target="_top"]; "VII.def.12" [label="VII.def.12", fillcolor="#224422", tooltip="VII.def.12: Numbers prime to one another are those which are measured by an unit alone as a common measure.", URL="../../definitions/index.html#vii-def-12", target="_top"]; "VII.1" [label="VII.1", fillcolor="#222244", tooltip="VII.1: Two unequal numbers being set out, and the less being continually subtracted in turn from the greater, if the number which is left never measures the one before it until an unit…", URL="../01/index.html", target="_top"]; "VII.2" [label="VII.2", fillcolor="#222244", tooltip="VII.2: Given two numbers not prime to one another, to find their greatest common measure.", URL="../02/index.html", target="_top"]; "VII.4" [label="VII.4", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="VII.4: Any number is either a part or parts of any number, the less of the greater.", URL="index.html", target="_top"]; "VII.def.3" -> "V.def.1"; "VII.def.4" -> "V.def.1"; "VII.def.12" -> "V.def.1"; "VII.1" -> "V.def.1"; "VII.2" -> "V.def.1"; "VII.def.2" -> "VII.def.1"; "VII.def.12" -> "VII.def.1"; "VII.1" -> "VII.def.1"; "VII.def.3" -> "VII.def.2"; "VII.1" -> "VII.def.2"; "VII.2" -> "VII.def.2"; "VII.4" -> "VII.def.2"; "VII.4" -> "VII.def.3"; "VII.4" -> "VII.def.4"; "VII.1" -> "VII.def.12"; "VII.2" -> "VII.def.12"; "VII.2" -> "VII.1"; "VII.4" -> "VII.2"; }

Required for

VII.20, VII.21, VII.24, VII.25, VII.26, VII.27, VII.30, VII.33, VII.34, VII.36, VII.39, VIII.1, VIII.2, VIII.3, VIII.4, VIII.5, VIII.6, VIII.7, VIII.8, VIII.9, VIII.14, VIII.15, VIII.16, VIII.17, VIII.20, VIII.21, VIII.22, VIII.23, VIII.24, VIII.25, VIII.26, VIII.27, IX.1, IX.2, IX.3, IX.4, IX.5, IX.6, IX.8, IX.9, IX.10, IX.12, IX.13, IX.14, IX.15, IX.16, IX.17, IX.18, IX.19, IX.32, IX.36, X.9, X.10, X.12, X.13, X.17, X.18, X.22, X.23, X.24, X.25, X.26, X.27, X.28, X.29, X.30, X.31, X.32, X.33, X.34, X.35, X.36, X.37, X.38, X.39, X.40, X.41, X.42, X.43, X.44, X.45, X.46, X.47, X.48, X.49, X.50, X.51, X.52, X.53, X.54, X.55, X.56, X.57, X.58, X.59, X.60, X.61, X.62, X.63, X.64, X.65, X.66, X.67, X.68, X.69, X.70, X.71, X.72, X.73, X.75, X.76, X.77, X.78, X.79, X.80, X.81, X.82, X.83, X.84, X.85, X.86, X.87, X.88, X.89, X.90, X.91, X.92, X.93, X.94, X.95, X.96, X.97, X.98, X.99, X.100, X.101, X.102, X.103, X.104, X.105, X.106, X.107, X.108, X.109, X.110, X.111, X.112, X.113, X.114, XIII.6, XIII.11, XIII.16, XIII.17, XIII.18

See Commentary on Proposition VII.4.