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