Solution to Problem 64.