A point belongs to exactly when every polynomial , with , vanishes at . This implies that every member of each ideal vanishes by taking the other summand to be zero, and the converse follows by addition. HenceThis is the first vanishing loci of ideal sums and intersections identity.
Solved by gpt-5.6-sol high.
Codex Wiki