So I read this post afterwards: http://cs.stackexchange.com/questions/9795/is-the-open-quest... Then I know why this proof is important. Hope it can get through some peer-reviewed journal/conference later.