Category:Subtraction of Multiples of Divisors obeys Distributive Law