Dear Michael,
There certainly is a complete proof of this result including a proof of theorem 5.
I shall be more than happy to answer any questions you might have, if you would please let me know who you are and your email address.
Yours,
Jørgen Ellegaard Andersen