Comment by richard_chase

Good stuff. Maybe I missed it in the post, but I didn't see a formal proof of the conjecture?