>>115
有理点を含まない場合どうするかという問題だろう