Distributive property of 4 x (20+5)