Subtraction of Multiples of Divisors obeys Distributive Law/Proof 2

Theorem
In modern algebraic language:
 * $a = \dfrac m n b, c = \dfrac m n d \implies a - c = \dfrac m n \left({b - d}\right)$

Proof
A direct application of the Distributive Property: