$$\newcommand{C}[0]{\mathbb{C}}
\newcommand{N}[0]{\mathbb{N}}
\newcommand{Q}[0]{\mathbb{Q}}
\newcommand{R}[0]{\mathbb{R}}
\newcommand{Z}[0]{\mathbb{Z}}
$$
主張
$n$を$3$以上の整数とする．$X, Y, Z\in \Z$が以下の方程式の整数解なら$X, Y, Z$のうち少なくとも$1$つは$0$である．
$$X^n + Y^n = Z^n$$