modified ch5 second lemma
some changes
b2alpha done
some corrections