The Arithmetic of Elliptic Curves
《The Arithmetic of Elliptic Curves》 · 第 256 页 · Chapter VIII，Section 11「Szpiro's Conjecture」，Proposition 11.2 的证明
Suppose that $a^n+b^n=c^n$ with $a,b,c\in\mathbb Z$ and $abc\ne0$. We consider the elliptic curve (sometimes called a Frey curve) $E:y^2=x(x+a^n)(x-b^n)$.