I have two smooth subvarieties $Y$ and $Z$ of a smooth variety $X$. Their intersection $Y \cap Z$ has two irreducible components, both of the expected dimension and generically reduced. I want to conclude that $Y \cap Z$ is reduced by the unmixedness theorem. Is this right?