Strong Hilbert Nullstellensatz (source code)

= Strong Hilbert Nullstellensatz
{c}

For an ideal $I\subseteq k[x_1,\ldots,x_n]$ over an algebraically closed field,
$$
I(V(I))=\sqrt I.
$$