add missing proofs up to (and including) chapter 10
update README once more