Projective dimension theorem (source code)

= Projective dimension theorem
{c}
{wiki}

If projective varieties $X,Y\subseteq\mathbb P^n$ have dimensions $r,s$ and $r+s\geq n$, then $X\cap Y$ is nonempty and every component has dimension at least $r+s-n$.