ネーター環
Every local Noetherian ring admits a system of parameters.