This theorem says that the [coordinate ring](/page/Coordinate%20Ring) of an affine algebraic set over a field has no nonzero nilpotent elements. It connects the geometric fact that functions vanishing at every point lie in the vanishing ideal with the algebraic notion of a reduced ring.