CF 984C Finite or not? (数论)

NoSuchKey