However, the proof by Andrew Wiles proves that any equation of the form y2 = x(x − an)(x + bn) does have a modular form.
Tuy nhiên, chứng minh của Andrew Wiles chứng minh rằng bất kỳ phương trình có dạng y2 = x (x - an) (x + bn) luôn luôn có một dạng mô đun.