## Proposition 35

 If two numbers measure any number, then the least number measured by them also measures the same. Let the two numbers A and B measure any number CD, and let E be the least that they measure. I say that E also measures CD. If E does not measure CD, let E, measuring DF, leave CF less than itself. Now, since A and B measure E, and E measures DF, therefore A and B also measure DF. But they also measure the whole CD, therefore they measure the remainder CF which is less than E, which is impossible. Therefore E cannot fail to measure CD. Therefore it measures it. Therefore, if two numbers measure any number, then the least number measured by them also measures the same. Q.E.D.

#### Outline of the proof

Assume both a and b divide c. Let e be their least common multiple. Suppose that e does not divide c. Then repeatedly subtract e from c to get c = ke + f, where the remainder f is less than e and k is some number. Since a and b both divide c and e, they also divide f making f a smaller common multiple than the least common multiple e, a contradiction. Thus the least common multiple also divides c.

#### Use of this proposition

This proposition is used in the next one and in VIII.4.

Next proposition: VII.36

Previous: VII.34

 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