Using the Nullstellensatz, show that the variety V(x^2+y^2-1) is irreducible over the complex.