Every nonzero ring contains at least one prime ideal (in fact it contains at least one maximal ideal), which is a direct consequence of Krull's theorem.
每一个非零的交换环都含有至少一个素理想（实际上它含有至少一个极大理想），这是克鲁尔定理的一个直接结果。