Finished answer to Exercise 1.14.