As promised, here's a solution to Question 4 on Problem Set 5. I know it was a tough one, so if you didn't get it, hopefully you can at least understand the solution when it's all laid out.  You don't need to understand the proof of Theorem 4, also in that PDF, but I've included it for those interested.