Distributive property with variables