Completing proof of problem 2.