提示されていない条件を仮定しても意味が無いと思うけど