damn, there is a typo on page 32 (in paper version 1.11). Stopped reading. I'm wondering if that voids the proof. Let's the downvote begin.
this is called witch-hunt
Besides, small typos in a paper that's substantially readable and well crafted, written by someone in a language other than their first, are scarcely a reason to stop reading.