Finished proof of problem 1-14