이상과 대수다양체 간의 대응 (힐베트의 Nullstellensatz 정리)