93. If one quantity measure two others, it measures their sum and difference. Thus, 7 measures 21 and 56. It therefore measures 56 + 21 and 56-21, or 77 and 35. This is only another way of saying what was said in (74).
94. If one number measure a second, it measures every number which the second measures. Thus, 5 measures 15, and 15 measures 30, 45, 60, 75, &c.; all which numbers are measured by 5. It is plain that if
| 15 contains 5 | 3 times, | |
| 30, or 15 + 15 contains 5 | 3 + 3 times, | or 6 times, |
| 45, or 15 + 15 + 15 contains 5 | 3 + 3 + 3 | or 9 times; |
and so on.
95. Every number which measures both the dividend and divisor measures the remainder also. To shew this, divide 360 by 112. The quotient is 3, and the remainder 24, that is (72) 360 is three times 112 and 24, or 360 = 112 × 3 + 24. From this it follows, that 24 is the difference between 360 and 3 times 112, or 24 = 360-112 × 3. Take any number which measures both 360 and 112; for example, 4. Then
- 4 measures 360,
- 4 measures 112, and therefore (94) measures 112 × 3,
- or 112 + 112 + 112.
Therefore (93) it measures 360-112 × 3, which is the remainder 24. The same reasoning may be applied to all other measures of 360 and 112; and the result is, that every quantity which measures both the dividend and divisor also measures the remainder. Hence, every common measure of a dividend and divisor is also a common measure of the divisor and remainder.
96. Every common measure of the divisor and remainder is also a common measure of the dividend and divisor. Take the same example, and recollect that 360 = 112 × 3 + 24. Take any common measure of the remainder 24 and the divisor 112; for example, 8. Then
- 8 measures 24;
- and 8 measures 112, and therefore (94) measures 112 × 3.
Therefore (93) 8 measures 112 × 3 + 24, or measures the dividend 360. Then every common measure of the remainder and divisor is also a common measure of the divisor and dividend, or there is no common measure of the remainder and divisor which is not also a common measure of the divisor and dividend.