図8.6の制約を書き忘れたので追加