some corrections and format improvements. begining to lemma 1.7 covered