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