Multiples of Divisors obey 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}$