>>803
そうならないように見えるのは
ボロミアン環ではないのでは?