Small change sections 3 and 5

Small adjustment to a proof in Section 5, for which an extra corollary
in section 3 has been added. Also tried to mess around a bit with bibtex
:)