## Proposition 7

 If a number is that part of a number which a subtracted number is of a subtracted number, then the remainder is also the same part of the remainder that the whole is of the whole. 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. Let EB be the same part of CG that AE is of CF. Now since EB is the same part of CG that AE is of CF, therefore AB is the same part of GF that AE is of CF. VII.5 But, by hypothesis, AB is the same part of CD that AE is of CF, therefore AB is the same part of CD that it is of GF. Therefore GF equals CD. Subtract CF from each. Then the remainder GC equals the remainder FD. Now since EB is the same part of GC that AE is of CF, and GC equals FD, therefore EB is the same part of FD that AE is of CF. But AB is the same part of CD that AE is of CF, therefore the remainder EB is the same part of the remainder FD that the whole AB is of the whole CD. Therefore, if a number is that part of a number which a subtracted number is of a subtracted number, then the remainder is also the same part of the remainder that the whole is of the whole. Q.E.D.
This proposition is like VII.5 except it deals with subtraction instead of addition. It says division distributes over subtraction. Algebraically, if a = b/n and d = e/n, then a - d = (b - e)/n.

This proposition is used in the next proposition and in VII.11.

Next proposition: VII.8

Previous: VII.6

 Select from Book VII Book VII intro VII.Def.1-2 VII.Def.3-5 VII.Def.6-10 VII.Def.11-14 VII.Def.15-19 VII.Def.20 VII.Def.21 VII.Def.22 VII.1 VII.2 VII.3 VII.4 VII.5 VII.6 VII.7 VII.8 VII.9 VII.10 VII.11 VII.12 VII.13 VII.14 VII.15 VII.16 VII.17 VII.18 VII.19 VII.20 VII.21 VII.22 VII.23 VII.24 VII.25 VII.26 VII.27 VII.28 VII.29 VII.30 VII.31 VII.32 VII.33 VII.34 VII.35 VII.36 VII.37 VII.38 VII.39 Select book Book I Book II Book III Book IV Book V Book VI Book VII Book VIII Book IX Book X Book XI Book XII Book XIII Select topic Introduction Table of Contents Geometry applet About the text Euclid Web references A quick trip