undefined

If you've actually proved it, submit it to peer review instead of HN

I doubt you have resolved it or need to answer your orig question