PROPOSITION 7.

If a number be that part of a number, which a number subtracted is of a number subtracted, the remainder will also be the same part of the remainder that the whole is of the whole.

For let the number AB be that part of the number CD which AE subtracted is of CF subtracted;

I say that the remainder EB is also the same part of the remainder FD that the whole AB is of the whole CD.

A E B G C F D

For, whatever part AE is of CF, the same part also let EB be of CG.

Now since, whatever part AE is of CF, the same part also is EB of CG,
therefore, whatever part AE is of CF, the same part also is AB of GF. [VII. 5]
But, whatever part AE is of CF, the same part also, by hypothesis, is AB of CD;
therefore, whatever part AB is of GF, the same part is it of CD also;
therefore GF is equal to CD.

Let CF be subtracted from each;

therefore the remainder GC is equal to the remainder FD.
Now since, whatever part AE is of CF, the same part also is EB of GC, while GC is equal to FD,
therefore, whatever part AE is of CF, the same part also is EB of FD.
But, whatever part AE is of CF, the same part also is AB of CD;
therefore also the remainder EB is the same part of the remainder FD that the whole AB is of the whole CD.
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"]; "V.def.2" [label="V.def.2", fillcolor="#224422", tooltip="V.def.2: The greater is a multiple of the less when it is measured by the less.", URL="../../../book_v/definitions/index.html#v-def-2", 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.5" [label="VII.def.5", fillcolor="#224422", tooltip="VII.def.5: The greater number is a multiple of the less when it is measured by the less.", URL="../../definitions/index.html#vii-def-5", target="_top"]; "VII.5" [label="VII.5", fillcolor="#222244", tooltip="VII.5: If a number be a part of a number, and another be the same part of another, the sum will also be the same part of the sum that the one is of the one.", URL="../05/index.html", target="_top"]; "VII.7" [label="VII.7", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="VII.7: If a number be that part of a number, which a number subtracted is of a number subtracted, the remainder will also be the same part of the remainder that the whole is of the whole.", URL="index.html", target="_top"]; "V.def.2" -> "V.def.1"; "VII.def.3" -> "V.def.1"; "VII.def.5" -> "V.def.1"; "VII.5" -> "V.def.2"; "VII.def.2" -> "VII.def.1"; "VII.def.3" -> "VII.def.2"; "VII.def.5" -> "VII.def.2"; "VII.5" -> "VII.def.2"; "VII.7" -> "VII.def.2"; "VII.5" -> "VII.def.3"; "VII.7" -> "VII.def.3"; "VII.5" -> "VII.def.5"; "VII.7" -> "VII.5"; }

Required for

VII.8, VII.11, IX.35, IX.36

See Commentary on Proposition VII.7.