Subtraction of Multiples of Divisors obeys Distributive Law

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