Prime avoidanceの無限個の時の反例って代数体の整数環で作れる? | 数学雑感