almost finish the existence proof in chap2