Subtraction of Divisors obeys Distributive Law

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