It’s funny. in some kind of twisted variant of Cunningham’s Law we have: > the best way to find a previous proof of a seemingly open problem on the internet is

It’s funny. in some kind of twisted variant of Cunningham’s Law we have: > the best way to find a previous proof of a seemingly open problem on the internet is not to ask for it; it's to post a new proof