>>920
I を有理数全体とでもしておけばよい