必要条件から範囲を絞る