[latexrefman] First noted in Wilson.

[Vincent Belaïche]

Hello Jim,

In node « Footnotes of footnotes » there is an example with this text
(in subject).

Just looking at the Wikipedia article about the Wilson theorem, it
proved out that although Wilson is acknowledged for having made known
this result in Europe,
https://fr.wikipedia.org/wiki/Théorème_de_Wilson#Histoire it was first
mentioned by Alhazen almost 7 centuries ago, and the first proof was
by Lagrange.

Even in Europe, it seems that Leibniz mentioned it earlier than Wilson.

Maybe you you were refering to another Wilson (?).

OK, the object of the example was just demonstrating bigfoot, not
doing epistemology.

  V.