❲ Distributive property

=== generalization of the distributive law, asserting $x(y+z)=xy+xz$==