諾特環
For any local Noetherian ring, the inequality