an algebraic set is irreducible (or affine variety) iff is prime. so from this thread we only need to show that the ideal is a prime ideal of .

to see this define the map by: since is just a simple evaluation, it's a ring homomorphiam. also is onto since

for any finally observe that thus: now since is an integral domain, must be prime. Q.E.D.