Finished crude proof for problem 1.