Complete the binary_inverse exercise in the Induction chapter.

Finally able to complete the binary_inverse exercise thanks to some help from
@timjb's solution.