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.