An irreducible $P$ with infinitely many real points generates the ideal of polynomials vanishing on them

Initializing...

An irreducible $P$ with infinitely many real points generates the ideal of polynomials vanishing on them · Prove2Me