制約があったほうが範囲が限定されて考えやすい