Shortened problem 1.40.