made small edits in the writeup, up to prop. 1.15
made more minor edits to the writeup, from prop. 1.15 until the end of sec. 1
edits on subdivided banana proof
Merge branch 'lou_writeup'