>>623
本当にユークリッド整域かな?