Solved Problem 133.