>>779
該当する部分環の一意性は要らないのでは？
「整数」を定義するのには、存在すれば十分。