"x * (y # z) = x * y # x * z", , (y #z) * x = y * x # z * x.