A principal ideal ring that is not a Euclidean ring

• 不是欧氏环的主理想环