ネーター環の場合はどう証明できる?