File:Euclid-VII-8.png

Subtraction of Multiples of Divisors obeys Distributive Law/Proof 1