解法：怀尔斯利用泰勒–怀尔斯方法给出的模性证明(1994年)

对于 $y^2=(x-r_1)(x-r_2)(x-r_3)$,根判别式为 $\operatorname{disc}=\prod_{i<j}(r_i-r_j)^2$。代入根 $0,a^p,-b^p$ 并使用 $a^p+b^p=c^p$,得到 $\operatorname{disc}=(abc)^{2p}$。椭圆曲线判别式还包含模型因子:$\Delta_E=16(abc)^{2p}$。因此奇素数部分是 $2p$ 次幂,但这里写出的椭圆曲线判别式整体并不严格是一个 2p 次幂。若 $q\nmid\Delta_E$,则模 q 的约化光滑;在弗雷曲线论证中导子为 $N=\operatorname{rad}(abc)$。