Wiles dokázal Taniyamovu hypotézu; důsledkem je Fermatova věta Kenneth A. Ribet (1994) Mathematica Bohemica