The proof follows from this instance of the discovery, with an Oklahoma U student indepently discovering and an OU professor indepently proving. I think that's a perfectly reasonable way to track what happened.

I am unable to open the pdf or follow any of the links from the wiki talk page, so the proof may predate this instance, which would invalidate my point.

Sorry, can't edit the comment from here, those italics make it seem snarky. Should have been an asterisk after proving and before the next sentece that I forgot to escape.