fix proof of main theorem in chap3
complete chap3