Use the idea of a Gray code from Problem 1.4.3 to prove bijectively...