x(y + z) = xy + xz