introduction and reworking of some proofs from chapter 3