Fermat's Last Theorem
は、零ではない整数解を持つとする、つまり、フェルマーの最終定理の反例であるとすると、判別式