Distributive property of division