Show that the image of given by with (an algebraic set) is irreducible.
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.