Isn't this common knowledge? Ask any drafter ever and they'll tell you it is.

It seems pretty generous to say she "discovered a new theorem."