任何欧式环一定是主理想环，也一定是唯一-分 解环。