Proposition 7.35

If two numbers measure any number, the least number measured by them will also measure the same.

If two numbers measure any number, the least number measured by them will also measure the same.

For let the two numbers A, B measure any number CD, and let E be the least that they measure; I say that E also measures CD.

For, if E does not measure CD, let E, measuring DF, leave CF less than itself.

Now, since A, B measure E, and E measures DF, therefore A, B will also measure DF.

But they also measure the whole CD; therefore they will also measure the remainder CF which is less than E: which is impossible.

Therefore E cannot fail to measure CD; therefore it measures it. Q. E. D.

: 0