fix proof of 4.8.3, close #359
add d50b90e to errata
Merge branch 'theorem4.8.3' for publication

Conflicts:
	errata.tex