Fermat's Little Theorem/Historical Note

Historical Note on Fermat's Little Theorem
Fermat's Little Theorem was first stated, without proof, by in $1640$.

Chinese mathematicians were aware of the result for $n = 2$ some $2500$ years ago.

The appearance of the first published proof of this result is the subject of differing opinions.


 * Some sources have it that the first published proof was by $1736$.


 * Others state that it was first proved by in an undated manuscript, and that he may have known a proof before $1688$, perhaps as early as $1683$.


 * MathWorld's page on the subject reports the first published proof as being by $1749$, but it is possible this has been conflated with the proof for Fermat's Two Squares Theorem.