” ユークリッド整域 “という可換環は、整列集合への特別な関数を備えています。そして、零元 0 ではない元を決まった形に書き換えることができます。