An example of mathematical authorship attribution