Completed the proof of problem 33