整数解を持つって、1つでも持てばいいの?