Category:Subtraction of Divisors obeys Distributive Law