Finished proof and fixed sign errors.