The proof was corrected by Wiles, partly in collaboration with Richard Taylor, and the final, widely accepted version was released in September 1994, and formally published in 1995.
証明はワイルズと、部分的にリチャード・テイラーとの共同研究で、訂正され、最終的な広く受け入れられるバージョンが1994年11月に発表され、正式には1995年に出版された。