<human>:  I have a question about Fermat’s little theorem. Where is it proved?
<bot>: Fermat’s little theorem is a theorem that states that for any integers n and k, there is no non-zero integer x such that nn - xk = 0 and kn - kk = 0. It is proved in the book Fermat’s Last Theorem by Andrew Wiles.