Part (a) of binary_inverse.