Equations vanishing on the infinitely many real points of an irreducible $P$ cut out exactly the curve $P=0$

Initializing...

Equations vanishing on the infinitely many real points of an irreducible $P$ cut out exactly the curve $P=0$ · Prove2Me