By dotCore
via junfukuyama.wordpress.com
Submitted: Dec 10 2012 / 19:13
I’ve been debugging the proof since I posted the previous version in this blog on 7/1. I tried hard to attack the proof from the opposite side. I found only minor bugs so far, and now start believing it.
Add your comment