I find it hard to believe that I managed to solve this problem. Now that I look at the solution as a whole it looks so beautiful: no ad-hoc assumptions, no hand-waiving, no approximations. It is a crystal-clear elegant mathematical proof that I can stare at it for hours and smile. Moments like these make me happy for deciding to do a Ph.D. Thanks Prata!
