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

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.