ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3508 on D1239: Standard N-operation
Fermat's last theorem
Formulation 0
Let $n \in \mathbb{Z}$ be a D995: Integer such that
(i) \begin{equation} n \geq 3 \end{equation}
Then \begin{equation} \left\{ (a, b, c) \in \mathbb{Z}^3 : a, b, c \geq 1 \text{ and } a^n + b^n = c^n \right\} = \emptyset \end{equation}