split lemma into two. reworded a few things
ch3, cleaned-up up to example 3.2