I suppose this would be a good time to point anyone stumbling on this thread to my post that I later wrote on that theorem. :)
I suppose this would be a good time to point anyone stumbling on this thread to my post that I later wrote on that theorem. :)