イデアルと代数多様体との対応(ヒルベルトのノルステルゼン定理)