Prove the dimension of an affine algebraic variety X is equal to the dimension of its projective closure $\overline{X}$
Open nonempty subset of irreducible variety over $k$ has the same Krull dimension as the whole variety?