add proofs (and proof sketch) of lemmas in chap1
add last few proofs
make final adjustments