Distributivity of multiplication over addition