ネーター環
For any local Noetherian ring, the inequality