he proved a reduced version of the taniyama-shimura conjecture after others had proven that *proving this* would imply fermat’s last theorem.
saying he “proved fermat’s last theorem” is precisely what I’m claiming is kinda bullshit.
Discussion
so in other words he should get all the credit in the world … for proving a reduced version of a separate conjecture.