add proof for composition of adjunctions
add example to chap2