Human: Fermat’s little theorem. Where is it proved? Assistant: 
Fermat’s little theorem is not proved. It is a conjecture, and it has not been proved. The proof is quite complicated and relies on some deep mathematics.