>>715

A がネーターなら EGA IV-2 p.153 に証明がある。
Eisenbud の本(Commutative algebra with a view ...) にも。