<human>:  Who proved Fermat’s little theorem?
<bot>: Fermat’s little theorem is a theorem that says that for any integers n and k, there is no positive integer x such that nn + k = kn for any positive integer n. It was first proved by Pierre de Fermat in 1637.