added a few trivial notes
field assignment proof using lemma 6