<human>:  Where is Fermat’s Last Theorem proved?
<bot>: Fermat’s Last Theorem is a theorem that states that for any positive integer n, there is no non-zero integer x such that n! + 1 = x. It is a famous unsolved problem in mathematics. It was first stated by Pierre de Fermat in 1637, and it is still unsolved today.