bind の Obligation 2 の証明を追加した。