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