>>636
ちなみに、Hilbert Nullstellensatzの（Neother normalisationを使わない）｢初等的な」証明って、どんなのですか？