sumbool 関連の証明を書いた。