(The opposite conclusion holds for any ideal, by definition).
（相反的结论由定义对任何理想成立）。